Efficient Multiple-Valued Model-Checking Using Lattice Representations
- 22 August 2001
- book chapter
- Published by Springer Nature
- p. 441-455
- https://doi.org/10.1007/3-540-44685-0_30
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Model-checking in finite state-space systems with fine-grained abstractions using SPINPublished by Springer Nature ,2001
- Implementing a Multi-valued Symbolic Model CheckerPublished by Springer Nature ,2001
- Model-Checking Over Multi-Valued LogicsPublished by Springer Nature ,2001
- Generalized Model Checking: Reasoning about Partial State SpacesPublished by Springer Nature ,2000
- Composite model-checkingACM Transactions on Software Engineering and Methodology, 2000
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsPublished by Springer Nature ,1999
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Many-Valued LogicsPublished by Springer Nature ,1992
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- A Useful Four-Valued LogicPublished by Springer Nature ,1977