research
∙
01/13/2020
Formal specification of a security framework for smart contracts
As smart contracts are growing in size and complexity, it becomes harder...
share
research
∙
11/14/2018
Lemma Functions for Frama-C: C Programs as Proofs
This paper describes the development of an auto-active verification tech...
research
∙
09/03/2018
