Searching for "Truly On-The-Fly LTL Model Checking" – 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.

Truly on-the-fly LTL model checking
by Moritz Hammer, Stephan Merz, Inria Lorraine — 2005 — In Proc. of TACAS’05, LNCS
…Truly On-The-Fly LTL Model Checking Moritz Hammer 1 , Alexander Knapp 1 , and Stephan Merz 2 1…
Cited by 5 (1 self) – Add To MetaCart

On-the-fly Emptiness Checks for Generalized Büchi Automata
by Jean-michel Couvreur, Alexandre Duret-Lutz, Re Duret-lutz, Denis Poitrenaud — 2005 — In Proc. 12th Intl. spin Works. on Model Checking Software, LNCS #1708
… 1990 1993 1994 1996 1999 2003 2004 2005 [12] Truly On−The−Fly LTL Model Checking Hammer et al., 2005…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

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