Valery A. Nepomniaschy Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area distributed systems verification program verification Petri Nets analysis and verification tools program specification program semantics Affiliation & position A.P. Ershov Institute of Informatics Systems — head of laboratory E-mail vnep@iis.nsk.su
Vizovitin N., Nepomniaschy V., Stenenko A. Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // System Informatics. — 2016. — # 7. — P. 11-22
Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — 2017. — # 10. — P. 57-66
