I/O automata in Isabelle/HOL
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 101-119
- https://doi.org/10.1007/3-540-60579-7_6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Verifying Timing Properties of Concurrent AlgorithmsPublished by Springer Nature ,1995
- A fixedpoint approach to implementing (Co)inductive definitionsPublished by Springer Nature ,1994
- Proof-checking a data link protocolPublished by Springer Nature ,1994
- IsabellePublished by Springer Nature ,1994
- Computer-assisted simulation proofsPublished by Springer Nature ,1993
- Formal verification of data type refinement — Theory and practicePublished by Springer Nature ,1990