The potential of formal verification for reasoning about systems.