The correctness-by-construction approach to programming

DOI10.1007/978-3-642-27919-5MaRDI QIDQ5388976zbMATH OpenOpenAlexFDO

Authors Derrick Kourie, B. W. Watson

Publication date 24 April 2012

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

zbMATH Keywords

correctness-by-constructioneleganceprogram developmentprogram proofsprogramming-in-the-smallrefinement

Mathematics Subject Classification ID

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

Cited in

(11)

• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Traits: correctness-by-construction for free
• Cocktail: A tool for deriving correct programs
• scientific article; zbMATH DE number 2130217 (Why is no real title available?)
• scientific article; zbMATH DE number 41231 (Why is no real title available?)
• scientific article; zbMATH DE number 46743 (Why is no real title available?)
• scientific article; zbMATH DE number 1156046 (Why is no real title available?)
• scientific article; zbMATH DE number 5199012 (Why is no real title available?)
• Information Flow Control-by-Construction for an Object-Oriented Language
• Flexible Correct-by-Construction Programming
• Schematic program proofs with abstract execution. Theory and applications

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: The correctness-by-construction approach to programming

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