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