research
∙
05/29/2020
WhylSon: Proving your Michelson Smart Contracts in Why3
This paper introduces WhylSon, a deductive verification tool for smart c...
research
∙
05/24/2020