| 
|
Quote: efficient algorithms to compute the correct traces of a model checker; linear in size of state space
topics >
all references >
references a-b >
Topic:
model checker
Topic:
code optimization by flow analysis
Quotation Skeleton
[We present] Efficient algorithms for computing the complete set … linear in the size of the state space … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: code optimization by flow analysis (45 items)