MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lookahead Widening." – 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

Lookahead Widening
by Denis Gopan And, Denis Gopan, Thomas Reps — 2006 — In CAV
…Lookahead Widening ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University of Wisconsin. 2 Gramma…
Add To MetaCart

Guided static analysis
by Denis Gopan, Thomas Reps — 2007 — In Static Analysis Symp
… the lookahead-widening technique [11]. It operates by generating program restrictions that incorporate…
Cited by 2 (1 self) – Add To MetaCart

Using counterexamples for improving the precision of reachability computation with polyhedra
by Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivančić — 2007 — in Computer Aided Verification (CAV’07
…-based approaches, such as lookahead widening [12]. Improved ways of selecting extrapolation points can benefit us…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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