| 
|
Quote: build model-extraction algorithm from getstate(), setstate(), and getallstates(); for each state, determine effect of each system call
topics >
all references >
references c-d >
Group:
operating system
Topic:
state machine
Quotation Skeleton
Our model-extraction algorithm … is an instance of a more general schema … [From Figure 3, p. 7, BUILDMODEL() is that for each state and each system call, get the resulting state and add the corresponding transition.] Google-1 Google-2
Copyright clearance needed for quotation.
Group: operating system (27 topics, 877 quotes)
Topic: state machine (67 items)