| 
|
Quote: build a finite state model by 1) identifying states as kernel variables and 2) finding transitions by trying every system call; collapse equivalent states
topics >
all references >
references c-d >
Group:
operating system
Topic:
state machine
Quotation Skeleton
We construct the [finite state automata] in two steps: (1) … step, we determine the states in the FSA … [p. 7] if we simulate the presence of a … operating system in response to these system calls, … identify equivalent states, the statespace will be small … Google-1 Google-2
Copyright clearance needed for quotation.
Group: operating system (27 topics, 877 quotes)
Topic: state machine (67 items)