research
∙
10/11/2022
Abstract interpretation of Michelson smart-contracts
Static analysis of smart-contracts is becoming more widespread on blockc...
share
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...
research
∙
11/23/2016
