The following pages link to V. A. Nepomniaschy (Q220094):
Displayed 14 items.
- Towards verification of C programs: Axiomatic semantics of the C-kernel language (Q557549) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Symbolic method of verification of definite iterations over altered data structures (Q2488048) (← links)
- Verifying UCM specifications of distributed systems using colored Petri nets (Q2515336) (← links)
- (Q2880591) (← links)
- (Q3483264) (← links)
- (Q4162485) (← links)
- (Q4517376) (← links)
- (Q4737553) (← links)
- (Q4773272) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)
- Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251) (← links)