|
СТ |
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language |
2009 |
Maryasov I. |
|
|
|
PSI 09 IW on Program Understanding |
24.07.2009 |
|
СТ |
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 |
|
СТ |
Towards Automatic Deductive Verification of C Programs Over Linear Arrays |
2019 |
Kondratyev D. A., Maryasov I., Nepomniaschy V. |
|
|
|
PSI'19 Preliminary Proc. |
14.08.2019 |
|
СТ |
Towards Automatic Deductive Verification of C Programs over Linear Arrays |
2019 |
Kondratyev D. A., Maryasov I., Nepomniaschy V. |
|
|
|
LNCS |
28.01.2020 |
