research
∙
09/17/2022
Necessity Specifications for Robustness
Robust modules guarantee to do only what they are supposed to do - even ...
share
research
∙
02/19/2020
Holistic Specifications for Robust Programs
Functional specifications describe what program components do: the suffi...
research
∙
04/13/2019
Flint for Safer Smart Contracts
The Ethereum blockchain platform supports the execution of decentralised...
research
∙
01/23/2019