Smart Contracts, Solidity, Bitcoin, Bitcoin Sv, Ethereum.
a popular method in security testing and auditing, using mathematical proofs to verify that specific properties of the contracts will consistently hold true or false under all conditions. Doing so to Solidity is incredibly difficult, due to the explosion of available paths. Reentrancy Reentrancy