Hakutulokset - A. V. Promsky

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

Hae kokoteksti

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

Hae kokoteksti

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

Hae kokoteksti

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

Hae kokoteksti