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
- 2024-04-15
Our papers "A Transferability Study of Interpolation-Based Hardware Model Checking to 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! 
- 2024-04-09
The DFG research training group on Continuous Verification of CYber-Physical Systems (ConVeY) is looking for PhD students. Application deadline is April 21, 2024. Application Portal with more Information - 2024-02-27
Our papers "Augmenting Interpolation-Based Model Checking with Auxiliary Invariants", "Fault Localization on Verification Witnesses", "Software Verification Witnesses 2.0" (joint work with Masaryk University), and "Test-Case Generation with Automata-based Software Model Checking" have been accepted at SPIN 2024! - 2024-02-22
SoSy-Lab is again a mentoring organization of Google Summer of Code (GSoC) 2024. As a participant of GSoC, Google pays you for contributing to an open-source project. We provide interesting projects and expert mentorship for your participation. - 2024-02-06
Our competition contribution papers "CPAchecker 2.3 with Strategy Selection" and "CPV: A Circuit-Based Program Verifier" have been accepted at SV-COMP 2024! - 2024-01-13
Our paper "P3: A Dataset of Partial Program Patches" has been accepted at MSR 2024!
This is joint work with Moeketsi Raselimo and Lars Grunske. - 2023-12-22
Our paper "Tighter Construction of Tight Büchi Automata" has been accepted at FOSSACS 2024!
This is joint work with Jan Strejček. - 2023-12-22
Our paper "Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers" has been accepted at TACAS 2024!