Program verification: to err is human

DOI10.1007/978-3-319-30734-3_1zbMATH Open1475.68012OpenAlexW2343817268MaRDI QIDQ2026776

Krzysztof R. Apt

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Recommendations

• A Vindication of Program Verification 👍 👎
• Designing programs that check their work 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Program verification: to err is human