Vincent Botbol | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Arnaud Gotlieb
18 publications
Catherine Dubois
6 publications
Matthieu Dien
3 publications
Antoine Mine
3 publications
Emmanuel Chailloux
3 publications
Martin Pépin
2 publications
Tristan Le Gall
1 publication
Ghiles Ziat
1 publication
Guillaume Bau
1 publication
Mehdi Bouaziz
1 publication

research

∙ 10/11/2022

Abstract interpretation of Michelson smart-contracts

Static analysis of smart-contracts is becoming more widespread on blockc...

0 Guillaume Bau, et al. ∙

research

∙ 08/26/2022

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

In program verification, constraint-based random testing is a powerful t...

0 Ghiles Ziat, et al. ∙

research

∙ 11/23/2016

Static Analysis of Communicating Processes using Symbolic Transducers

We present a general model allowing static analysis based on abstract in...

0 Vincent Botbol, et al. ∙