Generating Finite State Machines

Citation: Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes, "Generating Finite State Machines from Abstract State Machines". Microsoft Research Technical Report MSR-TR-2001-97, October 2001 (revised May 2002).
Summary: An algorithm for deriving a finite state machine from an ASM is given, including hyperstates for infinite-state ASMs.
Subjects: Software Engineering
Download: From Foundations of Software Engineering at Microsoft Research in Microsoft Word format.
Notes: See the extended abstract.