| 
|
Quote: the TOPD tester annotates the procedure with its state vectors and reports on potential programming errors
topics >
all references >
references g-h >
Topic:
model checker
Quotation Skeleton
As well as displaying the state vector sets … errors. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)