In N. Halbwachs
and L. D. Zuck, editors, TACAS, volume 3440 of Lecture Notes in Computer
Science, pages 365??“381. Springer, April 2005.
M. Yannakakis. Testing, optimizaton, and games. In LICS??™04: Proceedings of the
19th Annual IEEE Symposium on Logic in Computer Science (LICS??™04), pages
78??“88. IEEE Computer Society, Washington, DC, 2004.
Index
a priori testing. See offline testing
Abstract, 256??“257. See also Attributes,
NModel
abstract state machine (ASM), 53, 150, 275
abstract value, 247, 256??“257, 315. See also
object ID
abstraction, 5, 62, 211, 315
behavioral, 62??“63, 317
data, 62, 64, 74??“75, 318
environmental, 62, 70, 320
level of, 5, 59, 62??“63, 75, 323
abstraction function. See state property
accepting state, 6, 50, 58, 95, 108??“110, 198,
228, 315
accepting state condition, 108??“110, 289??“290,
315
AcceptingStateCondition, 108,
289??“290. See also Attributes, NModel
access modifier
private, 67, 70, 99
public, 26, 67, 70, 73, 99, 281, 283
action, 4, 58, 63, 73, 83, 141??“142, 170,
216??“217, 226??“228, 232, 235, 252,
284??“287, 316
atomic, 142, 317
cleanup, 217, 317
controllable, 8, 33, 142, 216, 318
finish, 141, 216, 320
internal, 216, 322
observable, 8, 33, 142, 216, 259??“261, 268,
324
shared, 123, 241, 327
split, 142, 286, 328
start, 141, 328
tester. See controllable action
timeout, 268??“270, 330
unshared, 123??“124, 241
wait, 268??“270, 331
Action, 68, 284??“287.
Pages:
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440