( en | de | ru )

 

Disambiguation of "Nepomniaschy, Valery A."

Author of the publication

copydeleteadd this publication to your clipboard
Towards verification of C# programs: A three-level approach.

, , , and . Program. Comput. Softw., 32 (4): 190-202 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valery Makhavikou

Valéry Schmid

Valery Kardanov

Valery Radchenko

Valery Stojanow

 

Other publications of authors with the same name

Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation., , and . Automatic Control and Computer Sciences, 51 (7): 489-497 (2017)Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 537-554. Springer, (2008)Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets., , , , , , and . Program. Comput. Softw., 27 (2): 58-68 (2001)Using Coloured Petri Nets to Model and Verify Telecommunications Systems., , , and . CSR, volume 5010 of Lecture Notes in Computer Science, page 360-371. Springer, (2008)Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM., and . DISCO, volume 722 of Lecture Notes in Computer Science, page 374-378. Springer, (1993)Criteria for the algorithmic completeness of the systems of operations.. International Sympoisum on Theoretical Programming, volume 5 of Lecture Notes in Computer Science, page 172-186. Springer, (1972)Modeling and verification of the SDL-specified communication protocols using high-level Petri nets., , , , , and . Program. Comput. Softw., 34 (6): 330-340 (2008)Verification of Finite Iterations over Tuples of Data Structures.. Program. Comput. Softw., 28 (1): 1-8 (2002)Towards Verification of C Programs. C-Light Language and Its Formal Semantics., , , and . Program. Comput. Softw., 28 (6): 314-323 (2002)Towards verification of C# programs: A three-level approach., , , and . Program. Comput. Softw., 32 (4): 190-202 (2006)