Noam Zilberstein | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alexandra Silva
29 publications
Derek Dreyer
2 publications
Angelina Saliling
1 publication

research

∙ 05/08/2023

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

Separation logic's compositionality and local reasoning properties have ...

0 Noam Zilberstein, et al. ∙

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. ∙