News
Student talks at LMU
We regularly host student talks in the context of seminars, projects, and theses. All students and staff are welcome to participate. A list of all upcoming talks can be found in the talk schedule.
News
- 2025-06-28
10th International Workshop on CPAchecker (CPA 2025): More information - 2025-05-20
Our paper "Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking" (joint work with University of Waterloo, National Taiwan University, and Georgia Institute of Technology) has been accepted at CAV 2025! - 2025-05-05
SV-COMP/Test-Comp community meetings at ETAPS: More information at ETAPS - 2025-01-24
Our paper Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals was accepted at HSCC 2025. Joint work with Jiří Fejlek. - 2024-11-01
Our paper "Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)" (joint work with University of Waterloo and Georgia Institute of Technology) haw been accepted at AAAI 2025 and selected for oral presentation! - 2024-08-09
Our papers "BenchCloud: A Platform for Scalable Performance Benchmarking" and "CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification" have been accepted at ASE 2024! - 2024-06-26
Our paper "CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers" has been accepted at ATVA 2024! - 2024-06-23
Our paper "A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification" received the ACM SIGSOFT Distinguished Paper Award and its reproduction artifact received the ACM SIGSOFT Best Artifact Award at FSE 2024!
- 2024-06-13
Our papers "Software Verification with CPAchecker: Tutorial and User Guide" and "fm-weck: Containerized Execution of Formal Methods Tools" have been accepted at FM 2024! We will give a half-day tutorial on CPAchecker and look forward to your participation. - 2024-06-04
The following 3 papers got accepted: Paper accepted for LPAR 2024: R. Hennicker, A. Knapp, M. Wirsing: Symbolic Realisation of Epistemic Processes
Paper accepted for Coordination 2024: M. ter Beek, R. Hennicker, J. Proenca: Team Automata: Overview and Roadmap
Paper accepted for ICE 2024: F. Barbanera, R. Hennicker: Safe Composition of Systems of Communicating Finite State Machines