|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Two-level mixed verification method of C-light programs in terms of safety logic |
2012 |
Anureev I. S., Maryasov I. V., Nepomniaschy V. A. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
26.03.2013 |
|
П |
The Mixed Axiomatic Semantics Method |
2011 |
Maryasov I. V. |
|
|
ИСИ СО РАН |
|
20.03.2012 |
