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-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! - 2023-11-08
We are very happy to announce that the joint research training group ConVeY (Continuous verification of cyber-physical systems) of LMU and TUM got extended by the Deutsche Forschungsgemeinschaft (DFG). That is, the research training group that started 2019 gets funding for additional four and half years. The complete press release of the DFG can be found here. - 2023-09-06
Our paper on "Deductive Verification of Leaked Information in Concurrent Applications" has been accepted at CCS 2023. Joint work by Toby Murray, Mukesh Tiwari, Gidon Ernst, and David Naumann. - 2023-07-31
Our paper on "Insecurity Separation Logic" has been accepted at ICFEM 2023. Joint work with Toby Murray and Pengbo Yan. - 2023-07-06
Our papers "CEGAR-PT: A Tool for Abstraction by Program Transformation", "CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification", and "LIV: Invariant Validation Using Straight-Line Programs" have been accepted at ASE 2023!