An augmented state graph generator comprising a given state graph generator that describes a multi-process system, and a set of rules that augment the given state to form said augmented state graph generator, the improvement comprising: a rule, included in said set of rules that allows a static creation of a state graph. 2327 ו' באלול התשס" ב - August 14, 2002
展开▼