Pedro Barroso | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat

Featured Co-authors

António Ravara
11 publications
Mário Pereira
10 publications

research

∙ 12/05/2022

Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)

Xavier Leroy and Sandrine Blazy in 2007 conducted a formal verification,...

0 Pedro Barroso, et al. ∙

research

∙ 03/11/2020

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form

We present an approach to obtain formally verified implementations of cl...

0 Pedro Barroso, et al. ∙