Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)
Abstract
References
Index Terms
- Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)
Recommendations
Software Verification with CPAchecker 3.0: Tutorial and User Guide
Formal MethodsAbstractThis tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, ...
CPACHECKER with adjustable predicate analysis
TACAS'12: Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of SystemsCPAchecker is a freely available software-verification framework, built on the concepts of Configurable Program Analysis (CPA ). CPAchecker integrates most of the state-of-the-art technologies for software model checking, such as counterexample-guided ...
CPACHECKER: a tool for configurable software verification
CAV'11: Proceedings of the 23rd international conference on Computer aided verificationConfigurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAchecker, a tool and framework that aims at easy integration of new ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 17Total Downloads
- Downloads (Last 12 months)17
- Downloads (Last 6 weeks)2
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in