Formal verification of digital systems is achieved, today, using one of two main approaches: stat...