Formal verification

From CryptoWiki