Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 787-802
- https://doi.org/10.1007/bfb0030641
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Objects And Classes, Co-AlgebraicallyPublished by Springer Nature ,1996
- Coalgebraic specifications and models of deterministic hybrid systemsPublished by Springer Nature ,1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- Forward and Backward SimulationsInformation and Computation, 1995
- Mongruences and cofree coalgebrasPublished by Springer Nature ,1995
- Proving the correctness of behavioural implementationsPublished by Springer Nature ,1995
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- An algebraic approach to refinementPublished by Springer Nature ,1990
- Proof of correctness of data representationsActa Informatica, 1972