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

Abstract:
A method for analyzing a portion of a partial state space, the portion of the partial state space related to a part of a system, the method comprising the steps of:receiving an analysis question that is related to the part of the system; and employing a value of unknown of the portion of the partial state space to analyze, in response to the analysis question, the portion of the partial state space; wherein the portion of the partial state space comprises a first portion of the partial state space, wherein the part of the system comprises a first part of the system, wherein the analysis question comprises a first analysis question, in combination with a method for analyzing a second portion of the partial state space, the second portion of the partial state space related to a second part of the system, further comprising the step of employing, based on the step of employing the value of unknown to analyze the first portion of the partial state space, a second analysis question that is related to the second part of the system.