See also C#
???infinite,??? 7, 57, 64, 74, 99, 155??“157,
322
infinitely branching, 156, 322
informal, 3, 322
initial state, 58, 95, 322
inspection, 3, 47, 322
interactive exploration, 101??“102, 105, 107,
111, 132, 263
interface automata, 277
interesting (state), 218, 322
interleave, 116, 123, 129
internal action, 216, 322
intersection, 123, 150, 242, 322
language, 53, 123, 150
runs, traces, 123, 238, 242, 322
sets, bags, 159, 162, 167, 322
invariant, 106??“107, 228, 290, 322. See also
safety requirement
invocation, 95, 96, 103, 199, 322
Index 345
IOCO theory, 277
isomorphic states, 256??“257, 276??“277, 322
IUT. See implementation under test
Java, 276
JUnit, 23. See also testing tools
Korat, 276. See also testing tools
labeled instance, 248??“253, 257, 305??“306. See
also data types, object
labeled transition system (LTS), 275, 277
lazy, 105, 267, 323
learn, 271, 323
level of abstraction, 5, 59, 62??“63, 75, 323
level of integration, 8, 323
library. See assembly
.NET 15??“20, 23??“25, 323
NModel, 4, 57, 67, 103??“104, 157??“169,
281??“307
library model program, 99, 118, 127??“128,
157, 323
link, 96, 323
livelock, 7, 50, 94, 111??“112, 323
liveness, 108, 323. See also safety
liveness analysis, 6, 50??“51, 94, 108??“113,
323
liveness requirement, 34, 108
lockstep execution, 7, 323
loop extension, 124??“125, 241, 323
LTS.
Pages:
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441