Computer-assisted simulation proofs
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 305-319
- https://doi.org/10.1007/3-540-56922-7_25
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Verification of a multiprocessor cache protocol using simulation relations and higher-order logic (summary)Published by Springer Nature ,2005
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992
- Formal verification of data type refinement — Theory and practicePublished by Springer Nature ,1990