Automation of C Program Deductive Verification without Using Loop Invariants von Kondratyev, D. A., Nepomniaschy, V. A.

Volltext

The language dynamic-real and its application for verification of SDL-specified distributed systems von Nepomniaschy, V. A., Bodin, E. V., Veretnov, S. O.

Volltext

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination von Kondratyev, D. A., Maryasov, I. V., Nepomniaschy, V. A.

Volltext

Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation von Vizovitin, N. V., Nepomniaschy, V. A., Stenenko, A. A.

Volltext

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs von Maryasov, I. V., Nepomniaschy, V. A.

Volltext

Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation von Vizovitin, N. V., Nepomniaschy, V. A., Stenenko, A. A.

Volltext

Verifying UCM Specifications of Distributed Systems Using Colored Petri Nets von Vizovitin, N. V., Nepomniaschy, V. A., Stenenko, A. A.

Volltext

Deductive Verification of the Sliding Window Protocol von Chkliaev, D. A., Nepomniaschy, V. A.

Volltext

Symbolic method of verification of definite iterations over altered data structures von Nepomniaschy, V. A.

Volltext

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets von Chernenok, S. A., Nepomniaschy, V. A.

Volltext

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets von Nepomniaschy, V. A., Argirov, V. S., Beloglazov, D. M., Bystrov, A. V., Chetvertakov, E. A., Churina, T. G.

Volltext

Verification of finite iterations over collections of variable data structures von Nepomniaschy, V A

Volltext

Verification of Finite Iterations over Tuples of Data Structures von Nepomniaschy, V. A

Volltext

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language von Nepomniaschy, V. A., Anureev, I. S., Promskii, A. V.

Volltext

Symbolic verification method for definite iteration over data structures von Nepomniaschy, V.A.

Volltext

Towards Verification of C Programs. C-Light Language and Its Formal Semantics von Nepomniaschy, V. A, Anureev, I. S, Mikhailov, I. N, Promskii, A. V

Volltext

Symbolic method of verification of definite iterations over altered data structures von Nepomniaschy, V. A.

Volltext

The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts von Chernenok, S.A., Nepomniaschy, V.A.

Volltext

Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets von Chernenok, S. A., Nepomniaschy, V. A.

Volltext

Towards verification of C# programs: A three-level approach von Nepomniaschy, V. A., Anureev, I. S., Dubranovskii, I. V., Promsky, A. V.

Volltext