Detecting Temporal Logic Predicates on Distributed Computations
- 5 September 2007
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A stubborn attack on state explosionPublished by Springer Science and Business Media LLC ,2005
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- Efficient Detection of Global Properties in Distributed Systems Using Partial-Order MethodsLecture Notes in Computer Science, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Partial-Order Methods for the Verification of Concurrent SystemsLecture Notes in Computer Science, 1996
- Faster possibility detection by combining two approachesPublished by Springer Science and Business Media LLC ,1995
- Model checking using net unfoldingsScience of Computer Programming, 1994
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- All from one, one for all: on model checking using representativesLecture Notes in Computer Science, 1993
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978