See
also data types
set, 159??“162, 173, 293??“296, 327. See also
data types
shared action, 123, 241, 327
side effect, 69, 327
signature, 286, 287, 327
simulation, 6, 44??“46, 70??“72, 327
simulator, 34, 38??“41
simple name, 20, 327. See also C#, namespace
slice, 59, 62, 327
sliding window, 224??“226, 327. See also
protocol
socket, 15??“16, 54, 75
software process, 8??“11
source program, 18, 327. See also assembly,
csc
Spec# 150, 219, 276. See also modeling
languages
Spec Explorer, 150, 219??“220, 276. See also
testing tools
specification, 3, 4, 8??“10, 58, 327
split action, 142, 286, 328
start action, 141, 328
startup, 245
state, 4, 26, 58, 171, 328. See also state
variable
accepting, 6, 50, 58, 95, 108??“110, 198, 228,
315
active, 262, 316
control, 64, 74, 80??“81, 84??“85, 318
current, 95, 318
data, 64, 74, 85, 92, 318
dead, 6, 50, 94, 108??“111, 138,
318
derived, 173, 319
end. See next state
hidden, 148, 191, 271, 321
initial, 58, 95, 322
isomorphic, 256??“257, 276??“277,
322
next, 95, 324
pair, 125??“126
partially explored, 271, 325
passive, 262, 325
reachable, 136, 228, 249, 326
target. See next state
unsafe, 6, 48??“49, 94, 106??“108, 228??“229,
330
state filter, 186??“187, 290??“291,
328
state grouping, 189??“190, 328
state-independent, 26, 328
state property, 189??“190, 291, 328
state space, 64, 191
state transition, 95, 328
state transition diagram, 6, 95, 328
state transition table, 95, 328
state variable, 58, 64, 67??“68, 74??“75, 84??“85,
171??“173, 226, 232, 235, 244, 283??“284,
328.
Pages:
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441