Dmitri Chkliaev
E-mail
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
Chkliaev D. Nepomniaschy V. Specification and verification of the classical sliding window protocol // Computer Science. — 2011 . — # 32.  — P. 37-56