Reduced labelled transition systems save verification effort
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesPublished by Springer Nature ,1992
- A stubborn attack on state explosionPublished by American Mathematical Society (AMS) ,1991
- Stubborn sets for reduced state space generationPublished by Springer Nature ,1991
- The concurrency workbenchPublished by Springer Nature ,1990
- State exploration by transformation with lolaPublished by Springer Nature ,1990
- Eliminating redundant interleavings during concurrent program verificationPublished by Springer Nature ,1989
- Coloured Petri NetsPublished by Springer Nature ,1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Parallel program schemataJournal of Computer and System Sciences, 1969