Patent ID: 6708143
Filing Date: 2004-03-16
Classification: G06F

Abstract:
A method carried out in a computer, for verifying a system having a set of properties, and a given set of variables, where each variable in said set of variables has a permissible range of values, comprising the steps of:selecting from said set of properties a property that needs to be verified, performing a verification operation with respect to said property selected in said step of selecting; ascertaining ranges of values employed in connection with variables from said set of variables that are employed in said step of performing a verification operation and storing said ranges in a memory, not commingled with ranges stored in connection with other verified properties; returning to said step of selecting, as long as there are properties in said set of properties that need to be verified; and when there are no properties in said set of properties that need to be verified, reporting-out on ranges of said variables that are n employed in said steps of performing a verification operation.