Verification of procedural programs

MaRDI QIDQ3012541zbMATH OpenFDO

Authors Amir Pnueli

Publication date 6 July 2011

zbMATH Keywords

correctness of sequential programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4172362
• Modular Verification of Recursive Programs
• Problems of verification of functional programs
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Program verification: state of the art, problems, and results. I

Cited in

(27)

• Problem-oriented program verification
• Verification of programs that destructively manipulated data
• Weak second order characterizations of various program verification systems
• Problem-oriented approach to verification of file-processing programs
• On one application of computations with oracle
• Verifying Whiley programs with Boogie
• Program correctness on finite fields
• Automatic constrained rewriting induction towards verifying procedural programs
• Programmed strategies for program verification
• Modular verification of procedure equivalence in the presence of memory allocation
• scientific article; zbMATH DE number 4172362 (Why is no real title available?)
• scientific article; zbMATH DE number 3881857 (Why is no real title available?)
• Problems of verification of functional programs
• Modular Verification of Recursive Programs
• scientific article; zbMATH DE number 3958707 (Why is no real title available?)
• scientific article; zbMATH DE number 4070286 (Why is no real title available?)
• Strong Semantical Characterization for Nondeterministic Programs
• scientific article; zbMATH DE number 4088902 (Why is no real title available?)
• scientific article; zbMATH DE number 53100 (Why is no real title available?)
• Mechanical verification of mutually recursive procedures
• scientific article; zbMATH DE number 194784 (Why is no real title available?)
• scientific article; zbMATH DE number 1390245 (Why is no real title available?)
• Program verification through characteristic formulae
• Verifying procedural programs via constrained rewriting induction
• Verification of sequential and concurrent programs
• Lawful functions and program verification in miranda
• Compositional verification of sequential programs with procedures

This page was built for publication: Verification of procedural programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3012541)