“Traditional formal verification tools based on SMT or SAT solvers suffer from a 'state-space explosion' problem because they rely on exhaustively checking all logical cases.”