|
СТ |
Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines |
2014 |
Chkliaev D. A., Nepomniaschy V. A. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
01.09.2015 |
|
СТ |
Format verification of programs for abstract register machines |
2013 |
Chkliaev D. A., Nepomniaschy V. A. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
24.03.2014 |
|
СТ |
Deductive Verification of the Classical Sliding Window Protocol |
2012 |
Chkliaev D. A., Nepomniaschy V. A. |
|
|
|
Conference proceedings |
01.10.2012 |
|
СТ |
Specification and verification of the classical sliding window protocol |
2011 |
Chkliaev D. A., Nepomniaschy V. A. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
03.04.2012 |
