Model-checking in finite state-space systems with fine-grained abstractions using SPIN
- 2 May 2001
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Efficient Multiple-Valued Model-Checking Using Lattice RepresentationsLecture Notes in Computer Science, 2001
- Implementing a Multi-valued Symbolic Model CheckerLecture Notes in Computer Science, 2001
- Generalized Model Checking: Reasoning about Partial State SpacesLecture Notes in Computer Science, 2000
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsLecture Notes in Computer Science, 1999
- Experience with Predicate AbstractionLecture Notes in Computer Science, 1999
- Validity checking for combinations of theories with equalityPublished by Springer Science and Business Media LLC ,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