MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Optimality in Abstractions of Model Checking" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Optimality in Abstractions of Model Checking
by Rance Cleaveland Purush, Rance Cleaveland, Daniel Yankelevich — 1995 — In SAS'95: Proc. 2d. Static Analysis Symposium, Lecture Notes in Computer Science 983
…Optimality in Abstractions of Model Checking Rance Cleaveland 1? , Purush Iyer 1?? and Daniel…
Add To MetaCart

Refinement of LTL Formulas for Abstract Model Checking
by María Del Mar Gallardo, Pedro Merino, Ernesto Pimentel — 2002 — In Proc. of Static Analysis Symposium (SAS 2002), number 2477 in Lecture Notes in Computer Science
… completeness in abstract interpretation [14]. In [6] the problem of the optimality in abstract model checking…
Cited by 7 (3 self) – Add To MetaCart

SAT based counterexample-guided abstraction-refinement
by Edmund Clarke, Anubhav Gupta, Ofer Strichman — 2004 — Transactions on Computer Aided Design (TCAD), 23(7):1113 – 1123
… detailed discussion of optimal abstractions in model checking. For simplicity, we restrict our discussion…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB