5 citations · 5 across the 3 of their papers we have counts for
3 papers
Abstract interpretation of Michelson smart-contracts
Guillaume Bau, Antoine Miné, Vincent Botbol +1
Static analysis of smart-contracts is becoming more widespread on blockchain platforms. Analyzers rely on techniques like symbolic execution or model checking, but few of them can…
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…
Static Analysis of Communicating Processes using Symbolic Transducers
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, repr…