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
- 2025-12-23
Our paper "A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module" (joint work with National Taiwan University and Intel) has been accepted at TACAS 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 - 2025-03-25
Our paper "TransVer: A Modular Program-Transformation Framework for Reduction to Reachability" has been accepted at SPIN 2025! - 2025-01-24
Our paper Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals was accepted at HSCC 2025. Joint work with Jiří Fejlek. - 2024-11-01
Our paper "Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)" (joint work with University of Waterloo and Georgia Institute of Technology) haw been accepted at AAAI 2025 and selected for oral presentation!