The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 10, 1999
Filed:
Mar. 31, 1997
Patrice Ismael Godefroid, Naperville, IL (US);
Bernard Armand Boigelot, Angleur, BE;
Lucent Technologies, Inc., Murray Hill, NJ (US);
Abstract
The simulation of sequences of the visible operations of a process in a concurrent system is performed by synthesizing the finite-state machine for the process from a projected tree. The synthesis procedure includes a parameter that can be adjusted to obtain machines that represent the desired behavior with varying degrees of approximation. An 'on-the-fly' version of the invention provides intermediate results while the state space of the system continues to be explored. The finite-state machines may be abstracted to reduce the magnitude of visible operations to be considered to a more manageable level.