Léon Gondelman | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Lars Birkedal
15 publications
Herman Geuvers
7 publications
Léo Stefanesco
6 publications
Amin Timany
6 publications
Marko van Eekelen
5 publications
Robbert Krebbers
4 publications
Marc Schoolderman
3 publications
Abel Nieto
3 publications
Freek Wiedijk
2 publications
Sjaak Smetsers
2 publications
Freek Verbeek
2 publications

research

∙ 09/16/2021

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic

We present a unification of refinement and Hoare-style reasoning in a fo...

0 Amin Timany, et al. ∙

research

∙ 04/01/2019

A benchmark for C program verification

We present twenty-five C programs, as a benchmark for C program verifica...

0 Marko van Eekelen, et al. ∙