Reverse Hoare Logic
From MaRDI portal
Publication:3095238
DOI10.1007/978-3-642-24690-6_12zbMath1349.03028MaRDI QIDQ3095238
Vasileios Koutavas, Edsko Devries
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24690-6_12
03B70: Logic in computer science
68W20: Randomized algorithms
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An observationally complete program logic for imperative higher-order functions
- Program inversion in the refinement calculus
- Program inversion: More than fun!
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- A probabilistic PDL
- Downward refinement and the efficiency of hierarchical problem solving
- Hoare logic and auxiliary variables
- Reasoning about probabilistic sequential programs
- An axiomatic definition of the programming language Pascal
- Ten Years of Hoare's Logic: A Survey—Part I
- Polymorphism and separation in hoare type theory
- An axiomatic basis for computer programming
- Integrated Formal Methods