Easiest-ever formal methods language! Designed for developers crafting d...
Analysis tool for Solidity smart contracts. Prototype.