9. The apparatus of claim 8 , wherein the property has a linear temporal logic form pv 1 U pv 2 , where pv represents a proportional variable.
9. The apparatus of claim 8 , wherein the property has a linear temporal logic form pv 1 U pv 2 , where pv represents a proportional variable. 13. The apparatus of claim 9 , wherein the property has a linear temporal logic form X! pv 1 , where pv represents a proportional variable.