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-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! - 2024-08-09
Our papers "BenchCloud: A Platform for Scalable Performance Benchmarking" and "CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification" have been accepted at ASE 2024! - 2024-06-26
Our paper "CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers" has been accepted at ATVA 2024!