Verification of an audio control protocol

This publication has 13 references indexed in Scilit:

• Action transducers and timed automata
  Published by Springer Nature ,2006
• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Real-time behaviour of asynchronous agents
  Published by Springer Nature ,2005
• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Proof-checking a data link protocol
  Published by Springer Nature ,1994
• A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
  Formal Aspects of Computing, 1994
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Verifying hybrid systems
  Published by Springer Nature ,1993
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976