MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bounded Model Checking for Past LTL." – 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

Bounded Model Checking for Past LTL
by Marco Benedetti, Alessandro Cimatti — 2003 — IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
…Bounded Model Checking for Past LTL Marco Benedetti and Alessandro Cimatti Istituto per la Ricerca…
Cited by 16 (2 self) – Add To MetaCart

T.: Simple is better: Efficient bounded model checking for past LTL
by Timo Latvala, Keijo Heljanko, Tommi Junttila — 2005 — In: VMCAI. Volume 3385 of LNCS
…Simple Is Better: Efficient Bounded Model Checking for Past LTL Timo Latvala 1,⋆ ,ArminBiere 2…
Cited by 6 (4 self) – Add To MetaCart

Automata-theoretic and bounded model checking for linear temporal logic
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Multiprint Oy — 2005
… Junttila. Simple is Better: Efficient bounded model checking for past LTL. In R. Cousot, editor…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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