Summer 2021
| Date | Presenter | Talk Title |
|---|---|---|
| 04/23/2021 | Eduard Kamburjan University of Oslo | KeY-Style Verification for ABS and Hybrid ABS (slides) |
| 05/07/2021 | Wolfram Pfeifer Karlsruhe Institute of Technology | Reconstructing Z3 Proofs With KeY (slides) |
| Florian Lanzinger Karlsruhe Institute of Technology | Property Types in Java: Combining Type Systems and Deductive Verification | |
| 05/21/2021 | Richard Bubel Darmstadt University of Technology | Verification of Smart Contracts in KeY |
| 05/28/2021 | Dominic Steinhöfel CISPA Helmholtz Center for Information Security | Ever Change a Running System: Deriving Conditions for Safe Program Transformation (video on youtube) |
| 06/11/2021 | Rosa Abbasi Max Planck Institute for Software Systems, Kaiserslautern | Verification of Floating Point Programs in KeY |
| 06/25/2021 | Alexander Knüppel Technische Universität Braunschweig | Predicting the influence of configuration options in KeY using Guido |
| 07/09/2021 | Hans-Dieter Hiep CWI Amsterdam | Reasoning about ADTs in KeY (slides) |
| 07/16/2021 | Tabea Bordis Technische Universität Braunschweig | Correctness-by-Construction for Software Product Lines: Current State and Ongoing Work |
Pages: 1 2