| 
|
Quote: a model checker produces a system trace that failed a particular property; particularly useful to diagnosing problems
topics >
all references >
references t-z >
Group:
program proving
Quotation Skeleton
if a system fails to have a particular … precisely the diagnostic information needed to fix the … the impetus for model checking Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)