Article contents
Hoare Semigroups
Published online by Cambridge University Press: 04 April 2017
Abstract
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together with procedures for translating between verification and refinement proofs. A new Hoare logic for multirelations and two minimalist generic verification and refinement components, implemented in an interactive theorem prover, are presented as applications that benefit from this generalisation.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2017
References
- 4
- Cited by