Automated analysis of an audio control protocol
- 1 January 1995
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 381-394
- https://doi.org/10.1007/3-540-60045-0_64
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Action transducers and timed automataPublished by Springer Science and Business Media LLC ,2006
- Automatic symbolic verification of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HyTech: The Cornell Hybrid Technology ToolLecture Notes in Computer Science, 1995
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- Verification of linear hybrid systems by means of convex approximationsLecture Notes in Computer Science, 1994
- Verification of an audio control protocolLecture Notes in Computer Science, 1994
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Delay analysis in synchronous programsLecture Notes in Computer Science, 1993
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978