See also traversal
unsafe state, 6, 48??“49, 94, 106??“108, 228??“229,
330
Index 349
unshared action, 123??“124, 241
Uppaal-Tron, 277. See also model checking,
testing tools
user interface (new reader case study), 59??“72,
95??“103, 132??“133
V-diagram, 8??“10
validate, 5, 11, 82, 224, 330
value array, 166, 301??“302, 330. See also data
types
value type, 158??“159, 172, 194, 248, 253,
330
VDM, 150, 219. See also modeling languages
vertex. See node
visualization, 94, 100, 308
vocabulary. See action vocabulary
wait action, 268??“270, 331
weaken, 331
wrapper, 15, 75, 331
xUnit, 23, 54. See also testing tools
Z, 150, 219. See also modeling languages
Pages:
429
430
431
432
433
434
435
436
437
438
439
440
441