MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstraction Refinement for Termination." – 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

Abstraction Refinement for Termination
by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2005 — IN SAS’2005: STATIC ANALYSIS SYMPOSIUM, VOLUME 3672 OF LNCS
…Abstraction Refinement for Termination Byron Cook 1 , Andreas Podelski 2 , and Andrey Rybalchenko…
Cited by 31 (10 self) – Add To MetaCart

Lazy Approximation for Dense Real-Time Systems (Extended Abstract)
by Maria Sorea, Universitt Ulm Abteilung Knstliche Intelligenz — 2004
… the complete region graph to decide modelchecking problems. Abstraction refinement terminates quickly, as a…
Add To MetaCart

Lazy Approximation for Dense Real-Time Systems?
by unknown authors
…, and successive refinement of finite-state abstractions. Starting with some coarse abstraction of the given timed…
Add To MetaCart

Showing 1 through 3.

ATOM

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