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
- 2026-03-18
Our paper "HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects" (joint work with National Taiwan University and Intel INT31) has been accepted at FSE 2026! - 2026-02-06
Our paper "Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper)" (joint work with Stanford University and SRI International) has been accepted at FM 2026 and received the Best Tool Paper Award! - 2026-01-31
Our TACAS paper "A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module" (joint work with National Taiwan University and Intel INT31) is selected as a Distinguished Paper at ETAPS 2026!
- 2025-12-23
Our papers "A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module" (joint work with National Taiwan University and Intel) and "Test-Case Generation from Violation Witnesses" have been accepted at TACAS 2026 and FASE 2026! - 2025-11-27
We have just released "SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks" (joint work with Masaryk University)! - 2025-11-16
We will present our paper "Non-termination Witnesses and Their Validation" (joint work with Budapest University of Technology and Economics and Masaryk University) at ASE 2025! - 2025-10-10
Pono (joint work with Stanford University and SRI International) and Btor2-Select (joint work with the University of Waterloo, National Taiwan University, and Georgia Institute of Technology) won one gold (word-level track with arrays) and two bronze (word-level tracks with and without arrays) medals, respectively, at HWMCC 2025! - 2025-06-28
10th International Workshop on CPAchecker (CPA 2025): More information - 2025-05-20
Our paper "Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking" (joint work with University of Waterloo, National Taiwan University, and Georgia Institute of Technology) has been accepted at CAV 2025! - 2025-05-05
SV-COMP/Test-Comp community meetings at ETAPS: More information at ETAPS