The KeYnote Series

Summer 2021

DatePresenterTalk Title
04/23/2021Eduard Kamburjan
University of Oslo
KeY-Style Verification for ABS and Hybrid ABS (slides)
05/07/2021Wolfram 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/2021Richard Bubel
Darmstadt University of Technology
Verification of Smart Contracts in KeY
05/28/2021Dominic Steinhöfel
CISPA Helmholtz Center for Information Security
Ever Change a Running System:
Deriving Conditions for Safe Program Transformation
(video on youtube)
06/11/2021Rosa Abbasi
Max Planck Institute for Software Systems, Kaiserslautern
Verification of Floating Point Programs in KeY
06/25/2021Alexander Knüppel
Technische Universität Braunschweig
Predicting the influence of configuration options in KeY using Guido
07/09/2021Hans-Dieter Hiep
CWI Amsterdam
Reasoning about ADTs in KeY (slides)
07/16/2021Tabea Bordis
Technische Universität Braunschweig
Correctness-by-Construction for Software Product Lines: Current State and Ongoing Work