Valery A. NepomniaschyE-mailvnep@iis.nsk.suOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — head of laboratory Academic degree: PhD List of Articles: 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