 |
Summer School |
|
|
Slides
- Christel Baier: Probabilistic Model Checking | MC MDP
- Gilles Barthe: Relational Verification for Differential Privacy and Cryptography | Lecture Notes | 1+2 | 3 | 4
- Nicolaj Bjørner: Satisfiability Modulo Theories | Slides | Horn
- Cédric Fournet: Security Verification in F* | All | F* Tutorial
- Orna Grumberg: Program Repair | 1 2
- Joost-Pieter Katoen: Foundations of Probabilistic Programming | All
- Daniel Kroening: Static Analysers for Black Hats and White Hats | 1 2 3 4
- Orna Kupfermann: Automated Synthesis of Temporal-Logic Specifications | Lecture Notes
- Magnus Myreen: Verification of an ML Compiler | 1 2 3 4
- Tobias Nipkow: Verified Analysis of Functional Data Structures | 1-4
- Larry Paulson: Proof Support for Hybrid System Analysis | 1 2 3 4
-
Andre Platzer:
Dynamic Logic for Dynamical Systems
Dynamic Logic for Dynamical Systems | Differential Game Logic | KeYmaera X Examples | Tutorial
Imprint