Group colloquium: Static verification in a verified environment: vcg in Isabelle
When: Dec. 6, 2018, 15:45-16:45
Where: Cubicus B101
Who: Sebastiaan Joosten
I will present work by Peter Lammich from TUM, and explain some of the difficulties in extending it to a concurrent setting.