Search Results - V. A. Nepomniaschy

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

Get full text

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

Get full text

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

Get full text

C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Get full text

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

Get full text

Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets by D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy

Get full text