Putting advanced reachability analysis techniques together: The “ARA” tool
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 597-616
- https://doi.org/10.1007/bfb0024669
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The weakest compositional semantic equivalence preserving nexttime-less linear temporal logicPublished by Springer Nature ,2006
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A stubborn attack on state explosionFormal Methods in System Design, 1992
- Reduced labelled transition systems save verification effortPublished by Springer Nature ,1991
- Using truth-preserving reductions to improve the clarity of kripke-modelsPublished by Springer Nature ,1991
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- The concurrency workbenchPublished by Springer Nature ,1990
- Opening and keynote sessionMicroprocessing and Microprogramming, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984