Formal Specification

New Approach to Formal Verification Methods for Combating Vulnerabilities in Smart Contracts

Embedding formal specification constructs directly into programming languages could revolutionize smart contract development and eradicate vulnerabilities in smart contracts.

Preparing Polkadot pallet Balances for Formal Verification

Preparing Polkadot pallet Balances for formal verification by reimplementing it as an Ink! smart contract for isolated analysis.