The Correctness-by-Construction Approach to Programming

DOI10.1007/978-3-642-27919-5zbMath1278.68006MaRDI QIDQ5388976

Derrick G. Kourie, Bruce W. Watson

Publication date: 24 April 2012

Full work available at URL: https://doi.org/10.1007/978-3-642-27919-5

zbMATH Keywords

refinement; program development; elegance; correctness-by-construction; program proofs; programming-in-the-small

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68W05: Nonnumerical algorithms

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Information Flow Control-by-Construction for an Object-Oriented Language, Flexible Correct-by-Construction Programming, Observational interpretations of hybrid dynamic logic with binders and silent transitions, Traits: correctness-by-construction for free

Uses Software

• Eiffel