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