Efficient Detection of Vacuity in Temporal Model Checking
Authors:
- 1 March 2001
- journal article
- conference paper
- Published by Springer Nature in Formal Methods in System Design
- Vol. 18 (2) , 141-163
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Vacuity Detection in Temporal Model Checking1999
- Fair synchronous transition systems and their liveness proofs1998
- Efficient detection of vacuity in ACTL formulas1997
- Efficient Generation of Counterexamples and Witnesses in Symbolic Model CheckingProceedings of the 39th conference on Design automation - DAC '02, 1995
- Symbolic Model Checking1993
- BDD-Based debugging of designs using language containment and fair CTL1993
- Model checking and modular verification1991
- Analysis of discrete event coordinationLecture Notes in Computer Science, 1990
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981