| 
|
Quote: TOPD models a program by a set of abstract values for objects (i.e., states) and the effects of operations (i.e., transitions); used by tester/checker
topics >
all references >
references g-h >
Topic:
state machine
Topic:
model checker
Quotation Skeleton
TOPD provides facilities for validation of such programs. … operations by means of abstract values, or states, … possible changes in state of the objects operated … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: model checker (49 items)