MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Symbolic guided search for CTL model checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Trail-Directed Model Checking  
  • by Stefan Edelkamp, Alberto Lluch-lafuente, Stefan Leue — 2001 — Electronic Notes in Theoretical Computer Science
  • … checker MurOE [22]. Symbolic guided search in CTL model checking is pursued in [3] and bypasses intense…
  • Cited by 18 (7 self) – Add To MetaCart
  • Directed Explicit Model Checking with HSF-SPIN  
  • by Stefan Edelkamp , Alberto Lluch Lafuente, Stefan Leue — 2001 — IN PROCEEDINGS OF THE 8TH INTERNATIONAL SPIN WORKSHOP ON MODEL CHECKING OF SOFTWARE
  • … layout and the failure formula into account. The approach to symbolic guided search in CTL model checking…
  • Cited by 30 (1 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB