Searching for "Bounded model checking of infinite state systems." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Automatic Discovery of API-Level Vulnerabilities
by Vinod Ganapathy Sanjit, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Al E. Bryant — 2004
…, such as integers. Bounded model checking has also been used to analyze infinite-state systems for correctness…
Cited by 1 (1 self) – Add To MetaCart

Timed systems in SAL
by Bruno Dutertre, Maria Sorea — 2004 — Computer Science Laboratory
… tool that performs bounded model checking of infinite-state systems. This model checker relies on a…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 2.

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