research
∙
12/08/2022
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
We provide a framework consisting of tools and metatheorems for the end-...
share
research
∙
05/28/2021
Gobra: Modular Specification and Verification of Go Programs (extended version)
Go is an increasingly-popular systems programming language targeting, es...
research
∙
10/14/2020
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)
Modern separation logics allow one to prove rich properties of intricate...
research
∙
10/09/2020