Valery A. Nepomniaschy E-mail vnep@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — head of laboratory Academic degree PhD
Chkliaev D., Nepomniaschy V. Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines // Computer Science. — 2014. — # 37 — P. 71-91
Chkliaev D., Nepomniaschy V. Formal verification of programs for abstract register machines // Computer Science. — 2013. — # 35 — P. 39-56
Anureev I., Maryasov I., Nepomniaschy V. Two-level mixed verification method of C-light programs in terms of safety logic // Computer Science. — 2012. — # 34 — P. 23-42
Chkliaev D., Nepomniaschy V. Specification and verification of the classical sliding window protocol // Computer Science. — 2011. — # 32 — P. 37-56
Nepomniaschy V. Symbolic verification method for definite iterations over tuples of altered data structures // Computer Science. — 2005. — # 23 — P. 85-99
Nepomniaschy V., Anureev I., Dubranovsky I., Promsky A. A three-level approach to C# program verification // Computer Science. — 2004. — # 20 — P. 61-85
Nepomniaschy V. Symbolic verification method for definite iterations over tuples of data structures // Computer Science. — 2001. — # 15 — P. 103-123
Nepomniaschy V. Verification of pointer programs using symbolic method for definite iterations // Computer Science. — 2000. — # 13 — P. 56-66
Nepomniaschy V., Shilov N., Bodin E. Formal semantics and verification of distributed systems presented by Basic-REAL specifications // Computer Science. — 1997. — # 7 — P. 35-55
Nepomniaschy V. On a symbolic method of verification for definite iteration over data structures // Computer Science. — 1996. — # 5 — P. 1-22
