C Program Verification: VC Explanation and the Standard Library

by A. V. Promsky
Published 2011-12-01

Towards the ’Verified Verifier’. Theory and Practice

by D. A. Kondratyev, A. V. Promsky
Published 2014-12-01

Automatic C Program Verification Based on Mixed Axiomatic Semantics

by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Published 2013-12-01

Automatic C Program Verification Based on Mixed Axiomatic Semantics

by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Published 2013-01-01

C Program Verication in the Multilanguage System Spectrum

by V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky
Published 2010-12-01