Cocktail: A tool for deriving correct programs

MaRDI QIDQ2711194zbMATH OpenFDO

Authors Michael Franssen

Publication date 6 May 2001

zbMATH Keywords

formal specificationformal systemsCocktailDijkstra-Hoare calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 2177628
• scientific article; zbMATH DE number 194510
• The correctness-by-construction approach to programming
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A program refinement tool

Cited in

(4)

• scientific article; zbMATH DE number 2177628 (Why is no real title available?)
• Combining top-down and bottom-up techniques in program derivation
• Cocktail
• Algorithm design through the optimization of reuse-based generation

This page was built for publication: Cocktail: A tool for deriving correct programs

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