Coverage Metrics for Temporal Logic Model Checking
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 528-542
- https://doi.org/10.1007/3-540-45319-9_36
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- An automata-theoretic approach to branching-time model checkingJournal of the ACM, 2000
- Vacuity Detection in Temporal Model CheckingPublished by Springer Nature ,1999
- ”Have I Written Enough Properties?” - A Method of Comparison Between Specification and ImplementationPublished by Springer Nature ,1999
- Abstraction techniques for validation coverage analysis and test generationIEEE Transactions on Computers, 1998
- Efficient detection of vacuity in ACTL formulasPublished by Springer Nature ,1997
- Formally verifying a microprocessor using a simulation methodologyPublished by Association for Computing Machinery (ACM) ,1994
- Temporal and Modal LogicPublished by Elsevier ,1990
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- The complexity of symmetric boolean functionsPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986