|
СТ |
Towards Automatic Deductive Verification of C Programs over Linear Arrays |
2019 |
Kondratyev D. A., Maryasov I., Nepomniaschy V. |
|
|
|
LNCS |
28.01.2020 |
|
СТ |
Automated Sisal program verification with ACL2 |
2019 |
Kondratyev D. A., Promsky A. |
|
|
|
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. |
|
|
|
PSI'19 Preliminary Proc. |
14.08.2019 |
|
СТ |
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification |
2018 |
Maryasov I. V., Nepomniaschy V. A., Kondratyev D. A. |
Lecture Notes in Computer Science |
|
|
|
01.08.2018 |
|
СТ |
Verification of Definite Interaction over Arrays with a Loop Exit in C Programms |
2017 |
Maryasov L. V., Nepomniaschy V. A., Kondratyev D. A. |
|
|
|
Тезисы семинара "Программные семантики, спецификации и верификация" |
25.08.2017 |
|
СТ |
Automatic C Program Verification Based on Mixed Axiomatic Semantics |
2013 |
Maryasov I. V., Nepomniaschy V. A., Promsky A. V., Kondratyev D. A. |
|
|
|
Proceedings of the 8th International Computer Science Symposium in Russia |
09.08.2013 |
