research
∙
10/11/2022
Abstract interpretation of Michelson smart-contracts
Static analysis of smart-contracts is becoming more widespread on blockc...
share
research
∙
04/06/2021
A Review of Formal Methods applied to Machine Learning
We review state-of-the-art formal methods applied to the emerging field ...
research
∙
02/09/2020
