Robbert Krebbers | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lars Birkedal
15 publications
Herman Geuvers
7 publications
Dan Frumin
7 publications
Marko van Eekelen
5 publications
Marc Schoolderman
3 publications
Freek Wiedijk
2 publications
Léon Gondelman
2 publications
Sjaak Smetsers
2 publications
Freek Verbeek
2 publications
Daniil Frumin
1 publication
Benoît Viguier
1 publication

research

∙ 10/28/2020

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Message passing is a useful abstraction for implementing concurrent prog...

0 Jonas Kastberg Hinrichsen, et al. ∙

research

∙ 06/24/2020

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

We present a new version of ReLoC: a relational logic for proving refine...

0 Dan Frumin, et al. ∙

research

∙ 10/02/2019

Compositional Non-Interference for Fine-Grained Concurrent Programs

We present SeLoC: a relational separation logic for verifying non-interf...

0 Dan Frumin, 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. ∙