Formal Methods and Blockchain

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