Software Analysis and Model Checking
No abstract available.
Related papers
- Hector: Software Model Checking with Cooperating Analysis Plugins CAV 2007
- Static Analysis versus Software Model Checking for Bug Finding VMCAI 2004
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis CAV 2007
- Model-based security analysis of feature-oriented software product lines GPCE 2018
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017
- Efficient software model checking of data structure properties OOPSLA 2006
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- Software model checking using languages of nested trees TOPLAS 2011