Abstract interpretation of Michelson smart-contracts.

Guillaume Bau Antoine Miné Vincent Botbol Mehdi Bouaziz

Published in: SOAP@PLDI (2022)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
dynamic analysis
reasoning engine
active databases
active rules
reverse engineering
knowledge base
case study
source code
integrity constraints
data flow