Automatic Abstraction Using Generalized Model Checking
- 20 September 2002
- book chapter
- Published by Springer Nature
- p. 137-151
- https://doi.org/10.1007/3-540-45657-0_11
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Successive approximation of abstract transition relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,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
- Temporal abstract interpretationPublished by Association for Computing Machinery (ACM) ,2000
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsPublished by Springer Nature ,1999
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997