Model Checking Via GammaCFA
No abstract available.
DOI 10.1007/978-3-540-69738-1_4
Related papers
- Improving flow analyses via GammaCFA: abstract garbage collection and counting ICFP 2006
- An Integration of Model Checking with Automated Proof Checking CAV 1995
- Checking Strong Specifications Using an Extensible Software Model Checking Framework TACAS 2004
- PVS: Combining Specification, Proof Checking, and Model Checking CAV 1996
- Model Checking with Formula-Dependent Abstract Models CAV 2001
- Bridging the Gap Between Model-Based Development and Model Checking TACAS 2009
- Java Memory Model-Aware Model Checking TACAS 2012
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus TACAS 2013