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-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 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! 
-
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!