
Registered user since Wed 5 Jan 2022
Name:Jan Haltermann
Affiliation:University of Oldenburg
Contributions
2023
Using general profile
The CPAchecker is successfully used in verification and has a lot of active developers around the world. Due to its configurable design, it offers many possibilities for developing new analyses. We use the CPAchecker in a Bachelor and a Master course to enrich theoretical lectures with practical hands-on exercises. In this talk, I will give an overview of our usage within the lecture as well as a personal experience report.
File Attached