Implementing LTL model checking with net unfoldings
- 2 May 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A New Unfolding Approach to LTL Model CheckingLecture Notes in Computer Science, 2000
- An Unfolding Algorithm for Synchronous Products of Transition SystemsLecture Notes in Computer Science, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Deadlock checking using net unfoldingsLecture Notes in Computer Science, 1997
- An improvement of McMillan's unfolding algorithmLecture Notes in Computer Science, 1996
- Formal Development of Reactive SystemsLecture Notes in Computer Science, 1995
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- On-the-fly verification with stubborn setsLecture Notes in Computer Science, 1993
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992
- Petri NetsPublished by Springer Science and Business Media LLC ,1985