The data types
in the NModel library are value types because value types are needed to compare
states.
vertex. (plural vertices) Node.
Appendices 331
wait action. An internal action invoked when testing a reactive system, when there
are no tester actions enabled and the observation queue is empty. A wait action may
be followed by a time-out action.
weaken. To relax constraints, often by disjunction. Constrast to strengthen.
wrapper. A method that calls another method, but provides a different (usually
shorter or simpler) list of parameters. Or, an API that consists of wrapper methods.
Bibliography
J.-R. Abrial. The B Book: Assigning Programs to Meanings. Cambridge University
Press, 1996.
ASM. Abstract State Machines, 2006. URL: http://www.eecs.umich.edu/
gasm/.
R. Alur, C. Courcoubetis, and M. Yannakakis. Distinguishing tests for nondeterministic
and probabilistic machines. In STOC ??™95: Proceedings of the Twenty-Seventh
Annual ACM Symposium on Theory of Computing, pages 363??“372, ACM Press,
New York, 1995.
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement
relations. In Proceedings of the Ninth International Conference on Concurrency
Theory (CONCUR??™98), volume 1466 of Lecture Notes in Computer Science,
pages 163??“178. Springer, 1998.
M. Barnett,W. Grieskamp, L. Nachmanson,W. Schulte, N. Tillmann, and M.Veanes.
Pages:
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429