СТ |
Two-Step Deductive Verification of Control Software Using Reflex |
2020 |
Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. |
|
|
|
LNCS |
28.01.2020 |
СТ |
Two-Step Deductive Verification of Control Software Using Reflex |
2019 |
Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. |
|
|
|
PSI'19 Preliminary Proc. |
14.08.2019 |
СТ |
Revised Mixed Axiomatic Semantics Method of C Program Verification |
2012 |
Anureev I., Maryasov I., Nepomniaschy V. |
|
|
|
Proceedings of the 7th International Computer Science Symposium in Russia |
08.08.2013 |
СТ |
Deductive Approach to Verification of Telecommunication Systems Written in C |
2012 |
Anureev I. |
|
|
|
Conference proceedings |
30.09.2012 |
СТ |
Ontological models in OTSL |
2008 |
Anureev I. |
|
|
|
Problems in Programming/Ukraine |
02.08.2008 |