×

zbMATH — the first resource for mathematics

Nepomniaschy, Valery A.

Compute Distance To:
Author ID: nepomniaschy.valery-a Recent zbMATH articles by "Nepomniaschy, Valery A."
Published as: Nepomniaschij, V. A.; Nepomniaschy, V. A.; Nepomniaschy, Valery; Nepomniaschy, Valery A.
Documents Indexed: 17 Publications since 1974, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 10 times in 8 Documents Cited by Year
Towards verification of C programs: Axiomatic semantics of the C-kernel language. Zbl 1099.68544
Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V.
3
2003
Symbolic method of verification of definite iterations over altered data structures. Zbl 1099.68026
Nepomniaschy, V. A.
2
2005
Verifying UCM specifications of distributed systems using colored Petri nets. Zbl 1317.93177
Vizovitin, N. V.; Nepomniaschy, V. A.; Stenenko, A. A.
1
2015
Verification of Estelle-specified communication protocols using high-level Petri nets. Zbl 0991.68049
Nepomniaschy, V. A.; Alekseev, G. I.; Bystrov, A. V.; Myl’nikov, S. P.; Okunishnikova, E. V.; Chubarev, P. A.; Churina, T. G.
1
2001
Symbolic verification method for definite iteration over data structures. Zbl 0917.68020
Nepomniaschy, V. A.
1
1999
On a symbolic method of verification for definite iteration over data structures. Zbl 0951.68080
Nepomniaschy, V. A.
1
1996
Non-deterministic program schemata and their relation to dynamic logic. Zbl 0704.03011
Nepomniaschij, V. A.; Shilov, N. V.
1
1987
Verifying UCM specifications of distributed systems using colored Petri nets. Zbl 1317.93177
Vizovitin, N. V.; Nepomniaschy, V. A.; Stenenko, A. A.
1
2015
Symbolic method of verification of definite iterations over altered data structures. Zbl 1099.68026
Nepomniaschy, V. A.
2
2005
Towards verification of C programs: Axiomatic semantics of the C-kernel language. Zbl 1099.68544
Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V.
3
2003
Verification of Estelle-specified communication protocols using high-level Petri nets. Zbl 0991.68049
Nepomniaschy, V. A.; Alekseev, G. I.; Bystrov, A. V.; Myl’nikov, S. P.; Okunishnikova, E. V.; Chubarev, P. A.; Churina, T. G.
1
2001
Symbolic verification method for definite iteration over data structures. Zbl 0917.68020
Nepomniaschy, V. A.
1
1999
On a symbolic method of verification for definite iteration over data structures. Zbl 0951.68080
Nepomniaschy, V. A.
1
1996
Non-deterministic program schemata and their relation to dynamic logic. Zbl 0704.03011
Nepomniaschij, V. A.; Shilov, N. V.
1
1987

Citations by Year