Verification of an audio control protocol
Authors:
- Doeko BosscherDBDoeko Bosscher
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 170-192
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Proof-checking a data link protocol1994
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocolFormal Aspects of Computing, 1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems1993
- Hybrid systems in TLA+1993
- Verifying hybrid systems1993
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Hybrid Systems1993
- Hierarchical correctness proofs for distributed algorithms1987
- An axiomatic proof technique for parallel programs IActa Informatica, 1976