Formal verification allows us to determine if all possible paths through the system behave as we expect and there are no edge cases causing behavior that we haven’t accounted for.