Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)-Reference-Cited by-同舟云学术

Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)

Published:2024-04-03 Issue:2 Volume:49 Page:25-26
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Jakobs Marie-Christine¹,Lee Nian-Ze¹

Affiliation:

1. LMU Munich, Munich, Germany

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3650142.3650150

Reference4 articles.

1. Dirk Beyer and M. Erkan Keremoglu. CPAchecker: A tool for configurable software verification. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, 23rd International Conference on Computer Aided Verification, LNCS 6806, pages 184--190. Springer, 2011.

2. Dirk Beyer and Thomas Lemberger. Software verification: Testing vs. model checking - A comparative evaluation of the state of the art. In Ofer Strichman and Rachel Tzoref-Brill, editors, 13th International Haifa Verification Conference, LNCS 10629, pages 99--114. Springer, 2017.

3. Dirk Beyer and Andreas Podelski. Software model checking: 20 years and beyond. In Principles of Systems Design, LNCS 13660, pages 554--582. Springer, 2022.

4. SMT-Based Bounded Model Checking for Embedded ANSI-C Software