Model Checking SDL with Spin
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 363-377
- https://doi.org/10.1007/3-540-46419-0_25
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Embedding a Dialect of SDL in PROMELAPublished by Springer Nature ,1999
- IF: An Intermediate Representation for SDL and its ApplicationsPublished by Elsevier ,1999
- Integrating Real Time Into Spin: A Prototype ImplementationPublished by Springer Nature ,1998
- Combining partial order reductions with on-the-fly model-checkingPublished by Springer Nature ,1994