1. A method for verifying a system against an assertion in a specification, the method comprising the steps of: generating a propositional formula representing an assertion in the specification using Boolean propositions, each Boolean proposition being associated with an atomic assertion in the assertion; generating a test case designed to assess the behavior of the system with respect to the assertion; generating configuration data in response to a simulation of the test case on the system; converting the configuration data into truth assignments of the propositional symbols; generating a run of the system using the truth assignments for the propositional symbols; and verifying the assertion using the run of the system in propositional symbols and the propositional formula.