Martin Clochard | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter Müller
27 publications
David Basin
18 publications
Felix A. Wolf
4 publications
Marco Eilers
3 publications
Wytse Oortwijn
3 publications
Linard Arquint
3 publications
Christoph Sprenger
2 publications
Tobias Klenze
1 publication
João C. Pereira
1 publication

research

∙ 05/28/2021

Gobra: Modular Specification and Verification of Go Programs (extended version)

Go is an increasingly-popular systems programming language targeting, es...

0 Felix A. Wolf, et al. ∙

research

∙ 10/09/2020

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have...

0 Christoph Sprenger, et al. ∙