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-05-01
We receive 4 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 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.