A stubborn attack on state explosion
- 1 December 1992
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 1 (4) , 297-322
- https://doi.org/10.1007/bf00709154
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A partial approach to model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesPublished by Springer Nature ,1992
- On some implementation of optimal simulationsPublished by American Mathematical Society (AMS) ,1991
- Reduced labelled transition systems save verification effortPublished by Springer Nature ,1991
- Stubborn sets for reduced state space generationPublished by Springer Nature ,1991
- Interleaving set temporal logicTheoretical Computer Science, 1990
- Eliminating redundant interleavings during concurrent program verificationPublished by Springer Nature ,1989
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984