Symbolic Model Checking
Meaning ⎊ Verification technique using boolean formulas to represent and explore vast state spaces efficiently.
Automated Theorem Proving
Meaning ⎊ The use of computational logic solvers to automatically prove the mathematical correctness of smart contract code properties.
