Formal methods applied to the blockchain involves, for example, the use of computer-assisted proofs the verify properties about Smart Contracts.
Starred
In this directory
All
Formal methods applied to the blockchain involves, for example, the use of computer-assisted proofs the verify properties about Smart Contracts.