Abstract interpretation of Michelson smart-contracts.

Guillaume Bau Antoine Miné Vincent Botbol Mehdi Bouaziz

Published in: CoRR (2022)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
active databases
databases
dynamic analysis
case study
context aware