Derek Dreyer | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alexandra Silva
29 publications
Azadeh Farzan
7 publications
Emanuele D'Osualdo
5 publications
Noam Zilberstein
2 publications

research

∙ 03/06/2023

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

Program logics for bug-finding (such as the recently introduced Incorrec...

0 Noam Zilberstein, et al. ∙

research

∙ 09/15/2022

Proving Hypersafety Compositionally

Hypersafety properties of arity n are program properties that relate n t...

0 Emanuele D'Osualdo, et al. ∙