C Program Verification: VC Explanation and the Standard Library

Tekijä A. V. Promsky
Julkaistu 2011-12-01

Towards the ’Verified Verifier’. Theory and Practice

Tekijä D. A. Kondratyev, A. V. Promsky
Julkaistu 2014-12-01

Automatic C Program Verification Based on Mixed Axiomatic Semantics

Tekijä I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Julkaistu 2013-12-01

Automatic C Program Verification Based on Mixed Axiomatic Semantics

Tekijä I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Julkaistu 2013-01-01

C Program Verication in the Multilanguage System Spectrum

Tekijä V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky
Julkaistu 2010-12-01