| http://www.w3.org/ns/prov#value | - A computer implemented method for verifying that a circuit or other system satisfies its specifications, is based on creating a first Boolean formula G representative of the system and its specification and through a series of steps creating a second formula G' having a known logical relationship to G and using the second formula G' to determine whether the system satisfies its specification.
|
