Program construction by verifying specification

DOI10.1007/BF02946503MaRDI QIDQ1273080zbMATH OpenOpenAlexFDO

Authors Hong Lin, Guoliang Chen

Publication date 2 March 1999

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02946503

zbMATH Keywords

first-order predicate logicGamma languagesemantic verification program

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1822431
• On automated program construction and verification
• scientific article; zbMATH DE number 4043304
• scientific article; zbMATH DE number 1023017
• Verifying programs in the calculus of inductive constructions

Cites work

• Algorithm theories and design tactics
• Deductive synthesis of sorting programs
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Program derivation by fixed point computation
• The gamma model and its discipline of programming

Cited in

(3)

• scientific article; zbMATH DE number 1822431 (Why is no real title available?)
• scientific article; zbMATH DE number 43673 (Why is no real title available?)
• scientific article; zbMATH DE number 5200721 (Why is no real title available?)

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Program construction by verifying specification

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