C Program Verification: VC Explanation and the Standard Library di A. V. Promsky

Testo

Towards the ’Verified Verifier’. Theory and Practice di D. A. Kondratyev, A. V. Promsky

Testo

Automatic C Program Verification Based on Mixed Axiomatic Semantics di I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

Testo

C Program Verication in the Multilanguage System Spectrum di V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

Testo