| 
|
Quote: TOPD's tester/checker could report which program states matched the predicted ones
topics >
all references >
references g-h >
Topic:
model checker
Quotation Skeleton
Having completed a test or check and obtained … been achieved and a simple measure, say of … for example saying which program states actually matched … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)