US 7,500,149 B2
	Generating finite state machines for software systems with asynchronous callbacks
Wolfgang Grieskamp, Redmond, Wash. (US); Colin L. Campbell, Seattle, Wash. (US); Lev Borisovich Nachmanson, Redmond, Wash. (US); Margus Veanes, Bellevue, Wash. (US); Michael Barnett, Seattle, Wash. (US); Nikolai Tillmann, Redmond, Wash. (US); and Wolfram Schulte, Bellevue, Wash. (US)
Assigned to Microsoft Corporation, Redmond, Wash. (US)
Filed on Mar. 31, 2005, as Appl. No. 11/97,684.
Prior Publication US 2006/0224924 A1, Oct. 05, 2006
Int. Cl. G06F 11/00 (2006.01)

U.S. Cl. 714—38  [717/104]

31 Claims

1. In an analysis tool, a method comprising generating, from an abstract state machine which models a software system, a finite state machine representing the software system, the software system including asynchronous callbacks, wherein the finite state machine models the asynchronous callbacks.