Typestate Verification: Abstraction Techniques and Complexity Results
- 13 May 2003
- book chapter
- Published by Springer Nature
- p. 439-462
- https://doi.org/10.1007/3-540-44898-5_25
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Using programmer-written compiler extensions to catch security holesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- Virtual Storytelling Using Virtual Reality Technologies for StorytellingPublished by Springer Nature ,2001
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Making abstract interpretations completeJournal of the ACM, 2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997