13. The assertion monitor of claim 12 , wherein the parser converts the assertion in the specification to Boolean propositions by parsing the assertion into atomic assertions in Boolean form and assigning each of those expressions to a propositional symbol.
13. The assertion monitor of claim 12 , wherein the parser converts the assertion in the specification to Boolean propositions by parsing the assertion into atomic assertions in Boolean form and assigning each of those expressions to a propositional symbol. 14. The assertion monitor of claim 13 , wherein the parser is further configured to generate an association list that identifies the relationship between the atomic assertions and the propositional symbols used to specify the Boolean propositions.