On the Expressiveness of 3-Valued Models
- 16 December 2002
- book chapter
- Published by Springer Nature
- p. 206-222
- https://doi.org/10.1007/3-540-36384-x_18
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Automatic Abstraction Using Generalized Model CheckingPublished by Springer Nature ,2002
- Lazy abstractionPublished by Association for Computing Machinery (ACM) ,2002
- Virtual Storytelling Using Virtual Reality Technologies for StorytellingPublished by Springer Nature ,2001
- Abstraction-Based Model Checking Using Modal Transition SystemsPublished by Springer Nature ,2001
- The SLAM ToolkitPublished 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
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990