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