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-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-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 papers "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
- 2024-05-01
We receive 5 Contributor Projects for Google Summer of Code 2024. We sincerely welcome Ahmed Tarek, Eshaan Aggarwal, Haoran Yang, Kerim Kochekov, and John Lu to work with us on exciting projects for BenchExec, Btor2-Cert, CPAchecker, and PJBDD. Learn more about their projects on our GSoC page. - 2024-04-15
Our papers "A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification" and "Decomposing Software Verification Using Distributed Summary Synthesis" have been accepted at FSE 2024! - 2024-04-11
The reproduction artifact of our paper "Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers" received the Distinguished Artifact Award at TACAS 2024! 
- 2024-04-10
Our paper "Augmenting Interpolation-Based Model Checking with Auxiliary Invariants" received the Best Paper Award at SPIN 2024! 