Verification of an audio control protocol
- 1 January 1994
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Action transducers and timed automataPublished by Springer Science and Business Media LLC ,2006
- Automata for modeling real-time systemsPublished by Springer Science and Business Media LLC ,2005
- Real-time behaviour of asynchronous agentsPublished by Springer Science and Business Media LLC ,2005
- Automatic symbolic verification of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proof-checking a data link protocolLecture Notes in Computer Science, 1994
- 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 systemsLecture Notes in Computer Science, 1993
- Verifying hybrid systemsLecture Notes in Computer Science, 1993
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- An axiomatic proof technique for parallel programs IActa Informatica, 1976