Programming with Verification Conditions

DOI10.1109/TSE.1979.234171MaRDI QIDQ4178454zbMATH OpenFDO

Authors M. H. van Emden

Publication date 1979

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1979.234171

zbMATH Keywords

ProgrammingVerification

Mathematics Subject Classification ID

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

Cited in

(4)

• Invariant based programming: Basic approach and teaching experiences
• Matrix Code
• Invariant diagrams with data refinement
• Semantics of algorithmic languages

This page was built for publication: Programming with Verification Conditions

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