Empirix Inc.

Larry Apfelbaum

Peter Savage

John David Doyle

Ramesh H Vaswani

Mark Trumpler

Thomas Lynch

Katrin Bell

A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.

Analyzing an extended finite state machine system model

A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.

Growing community of inventors

West Newton, MA, United States of America

Larry Apfelbaum