DOI: 10.1145/3650142.3650150 ISSN: 0163-5948
Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)
Marie-Christine Jakobs, Nian-Ze Lee- Pharmacology (medical)
- Complementary and alternative medicine
- Pharmaceutical Science
The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.