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.
Our article Falsification of Hybrid Systems Using Adaptive Probabilistic Search is published in the ACM Transactions on Modeling and Computer Simulation (TOMACS). Joint work with Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo.
Our paper JavaSMT 3: Interacting with SMT Solvers in Java has been published at CAV 2021.
Our paper PJBDD: A BDD Library for Java and Multi-Threading has been accepted at ATVA 2021! The preprint is online (see link before).
Cooperative Verifier-Based Testing with CoVeriTest published in journal STTT.
The journal article "Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" was published at Science of Computer Programming.
Two additional articles were published at ISoLA'20: "A Dynamic Logic for Systems with Predicate-Based Communication"
and "Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition" .
The paper "Bridging Arrays and ADTs in Recursive Proofs" was accepted at TACAS'21. Joint work with Grigory Fedyukovich.
The LMU Research Award (LMU Forschungspreis) was awarded to Matthias Kettl for his Bachelor Thesis on Fault Localization for Formal Verification. We are proud to have supervised him. Matthias will continue his Master studies at LMU and continue his work as a working student at our chair.
Our paper "Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization" has been accepted at ESEC/FSE 2020! The preprints are online (see links before).
Our three papers "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs" have been accepted at ISoLA 2020! The preprints are online (see links before).
Our two papers "Difference Verification with Conditions" and "FRed: Conditional Model Checking via Reducers and Folders" have been accepted at SEFM 2020! The preprints are online (see links before).
The paper "Legion: Best-First Concolic Testing" has been accepted at ASE 2020. See also Test-Comp 2020. Joint work with Dongge Liu, Toby Murray, and Ben Rubinstein from the University of Melbourne.
Our paper "MetaVal: Witness Validation via Verification" has been accepted at CAV 2020! The paper is now published [DOI: 10.1007/978-3-030-45190-5_1].
Our paper "Software Verification with PDR: An Implementation of the State of the Art" has been accepted at TACAS 2020! The paper is now published [DOI: 10.1007/978-3-030-45190-5_1].
9th Competition on Software Verification (SV-COMP 2020) has announced the results. Congratulations to all participants and winners! Results are available on the competition web site.
Gastvorträge am 27.11.: Klimawandel und Extremereignisse – neue Erkenntnisse für die Klimafolgenforschung durch die Nutzung von HPC. Prof. Dr. Ralf Ludwig um 9:15 im Rahmen der Vorlesung Softwaretechnik, sowie Andrea Böhnisch und Magdalena Mittermeier um 14:15 im Rahmen der Vorlesung Einführung in die Informatik: Programmierung und Softwareentwicklung. Vielen herzlichen Dank an Students for Future Munich für die Organisation. Beide Vorträge sind öffentlich (Hauptgebäude Geschwister Scholl Platz 1, A240).
Our paper TestCov: Robust Test-Suite Execution and Coverage Measurement has been accepted for presentation at ASE 2019.
Paper Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions accepted for presentation at DaLi 2019.
Paper Conditional Testing: Off-the-Shelf Combination of Test-Case Generators accepted for presentation at ATVA 2019.
Registration for the 4th International Workshop on CPAchecker on 1st and 2nd Oct. is open! It will be held on the island Frauenchiemsee near Munich, Germany. Participation is open to everbody!
Registration via Google form, open until 8th August.
The DFG research training group ConVeY started on July 1st. The kick-off meeting was on July 12.
We welcome Aditya Arora, Saheed Bolarinwa, and Tharsanan Kurukulasingam, who will be working with us this summer on exciting projects for BenchExec, JavaSMT, and CPAchecker. Read about their projects on our Google Summer of Code page.
Publication on CoVeriTest: Cooperative Verifier-Based Testing by Dirk Beyer and Marie-Christine Jakobs at FASE'19! Marie-Christine's presentation is a must: Thursday, 11th April, at 16:30, room Jupiter.
Slides to the ETAPS'19 tutorial on Software Verification: "An Overview of the State of the Art" are available here.
Our tool CPAchecker defended the title: it wins category Overall and 6 more medals in the 8th Competition on Software Verification (SV-COMP'19).
Our tool CPAchecker wins category Overall and 5 more medals in the 7th Competition on Software Verification (SV-COMP'18).