• Tech
      • Welcome

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

Pages tagged #Starred/Formal Methods and Blockchain
Formal verification and the top 10 crypto-tokens

In this directory

Pages matching path './*'
Blockchain-related definitions
Formal verification and the top 10 crypto-tokens
Interesting formal methods and/or blockchain projects
Plutus Pioneer Program

All

Pages matching path './**'
Blockchain-related definitions
Consensus Protocol
ERC-20 tokens
Formal verification and the top 10 crypto-tokens
Interesting formal methods and/or blockchain projects
Plutus Pioneer Program
Smart Contracts
Week 1 - Plutus Pioneer Program
Week 2 - Plutus Pioneer Program
Week 3 - Plutus Pioneer Program
Week 4 - Plutus Pioneer Program