Formal verification software