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
- 2021-04-25
Cooperative Verifier-Based Testing with CoVeriTest published in journal STTT.
- 2021-04-21
Deductive Verification via the Debug Adapter Protocol, with J. Blau and T. Murray. Bringing deductive verification into your IDE! To be presented at F-IDE 2021 (colocated with NFM), current draft.
- 2021-03-31
TACAS presentations on PDR for Software and CPU Energy Meter are available.
- 2021-02-15
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" . - 2021-02-07
Competition Reports for SV-COMP 2021 and Test-Comp 2021 available: SV-COMP 2021 and Test-Comp 2021
- 2020-12-23
The paper "Bridging Arrays and ADTs in Recursive Proofs" was accepted at TACAS'21. Joint work with Grigory Fedyukovich.
- 2020-11-01
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.
- 2020-10-29
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).
- 2020-08-18
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).
- 2020-08-03
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).