Hoare's logic and VDM

DOI10.1007/BF01214625zbMath0817.68100OpenAlexW2095484401MaRDI QIDQ1805402

Yanyan Li

Publication date: 11 May 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

program specificationrealizabilityVDMHoare's logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power domains
• On the notion of expressiveness and the rule of adaptation
• Ten Years of Hoare's Logic: A Survey—Part I
• An axiomatic basis for computer programming

This page was built for publication: Hoare's logic and VDM