Integrating Real Time Into Spin: A Prototype Implementation
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- HyTech: A model checker for hybrid systemsPublished by Springer Nature ,1997
- Extending promela and spin for real timePublished by Springer Nature ,1996
- A bounded retransmission protocol for large data packetsPublished by Springer Nature ,1996
- Combining partial order reductions with on-the-fly model-checkingPublished by Springer Nature ,1994
- Real time process algebraFormal Aspects of Computing, 1991
- Two simple protocolsPublished by Cambridge University Press (CUP) ,1990