Model-checking in finite state-space systems with fine-grained abstractions using SPIN
- 2 May 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Efficient Multiple-Valued Model-Checking Using Lattice RepresentationsPublished by Springer Nature ,2001
- Implementing a Multi-valued Symbolic Model CheckerPublished by Springer Nature ,2001
- Generalized Model Checking: Reasoning about Partial State SpacesPublished by Springer Nature ,2000
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsPublished by Springer Nature ,1999
- Experience with Predicate AbstractionPublished by Springer Nature ,1999
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Many-Vawed Modal Logics IIFundamenta Informaticae, 1992
- Many-Valued Modal LogicsFundamenta Informaticae, 1991
- Logical foundations for database systemsInternational Journal of Man-Machine Studies, 1979
- Static determination of dynamic properties of generalized type unionsACM SIGPLAN Notices, 1977