An Improvement in Formal Verification
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- An O(n log n) unidirectional distributed algorithm for extrema finding in a circlePublished by Elsevier ,2004
- Combining partial order reductions with on-the-fly model-checkingPublished by Springer Nature ,1994
- All from one, one for all: on model checking using representativesPublished by Springer Nature ,1993
- On-the-fly verification with stubborn setsPublished by Springer Nature ,1993