The co-invariant generator: An aid in deriving loop bodies

DOI10.1007/BF01211053zbMath0843.68066MaRDI QIDQ1911318

David Billington, R. Geoff Dromey

Publication date: 21 April 1996

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

zbMATH Keywords

program derivationco-invariant generator

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The derivation of systolic computations
• A note on a standard strategy for developing loop invariants and loops
• Derivation of Sorting Algorithms from a Specification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The co-invariant generator: An aid in deriving loop bodies