V. A. Nepomniaschy

Available identifiers

Publication	Date of Publication	Type
Verifying UCM specifications of distributed systems using colored Petri nets	2015-07-31	Paper
Symbolic verification method for definite iterations over tuples of altered data structures	2012-04-13	Paper
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets	2009-09-04	Paper
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs	2008-03-25	Paper
Towards verification of C\(\#\) programs: a three-level approach	2007-06-14	Paper
Symbolic method of verification of definite iterations over altered data structures	2005-08-23	Paper
Towards verification of C programs: Axiomatic semantics of the C-kernel language	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4737553	2004-08-11	Paper
Verification of Estelle-specified communication protocols using high-level Petri nets	2002-01-06	Paper
Specification and verification of distributed systems by means of the elementary-REAL language	2001-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4517376	2000-11-21	Paper
Symbolic verification method for definite iteration over data structures	1999-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3483264	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4162485	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4773272	1974-01-01	Paper

This page was built for person: V. A. Nepomniaschy