Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
(as of solidity 0.8). These are the two possible paths our code can take. Software tools can find these automatically, but we will show you those later. Now that we have our 2 paths, we convert them to mathematical expressions. One of the most popular set of expressions is to convert them to a set