The Correctness-by-Construction Approach to Programming

DOI10.1007/978-3-642-27919-5zbMath1278.68006OpenAlexW4206365978MaRDI 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

refinementprogram developmentelegancecorrectness-by-constructionprogram proofsprogramming-in-the-small

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Nonnumerical algorithms (68W05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Traits: correctness-by-construction for free ⋮ 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

Uses Software

• Eiffel

This page was built for publication: The Correctness-by-Construction Approach to Programming