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.