MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11,313 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Model Checking and Model Improvment  
  • by Spiegelhalter Book, Andrew Gelman, Xiao-li Meng
  • …Model Checking and Model Improvment (chapter for Gilks, Richardson, and Spiegelhalter book) Andrew…
  • Add To MetaCart
  • Planning as Model Checking  
  • by Fausto Giunchiglia And, Fausto Giunchiglia, Paolo Traverso — 1999 — In ECP
  • …Planning as Model Checking Fausto Giunchiglia 1;2 and Paolo Traverso 1 1 IRST, Istituto per la…
  • Add To MetaCart
  • Model Checking and Random  
  • by Competition Study Using, Er K. Wißpeintner, Franz Huber
  • …Model Checking and Random Competition – A Study Using the Model Checking Framework MIC Alexander K…
  • Add To MetaCart
  • Beyond Regular Model Checking  
  • by Dana Fisman, Amir Pnueli — 2001 — In Proc. of FSTTCS’01, volume 2245 of LNCS
  • …Beyond Regular Model Checking Dana Fisman and Amir Pnueli Faculty of Mathematics and Computer…
  • Cited by 5 (1 self) – Add To MetaCart
  • Model checking CTL+ is hard  
  • by Is Hard, F. Laroussinie, N. Markey, Ph. Schnoebelen — 2000
  • …F. Laroussinie, N. Markey and Ph. Schnoebelen Model checking CTL+ is hard Research Report LSV-00…
  • Add To MetaCart
  • Model Checking Knowledge and Time  
  • by Wiebe Van Der Hoek, Michael Wooldridge — 2002 — Model Checking Software, Proceedings of SPIN 2002 (LNCS Volume 2318
  • …Model Checking Knowledge and Time Wiebe van der Hoek y and Michael Wooldridge y Universiteit…
  • Cited by 34 (7 self) – Add To MetaCart
  • Model Checking for Combined Logics  
  • by Massimo Franceschet, Angelo Montanari, Maarten de Rijke — 2000 — In Proceedings of the 3rd International Conference on Temporal Logic (ICTL
  • …Model Checking for Combined Logics Massimo Franceschet 1 Angelo Montanari 1 Maarten de Rijke 2 1…
  • Cited by 3 (3 self) – Add To MetaCart
  • Model Checking Games for CTL*  
  • by Martin Lange, Colin Stirling — 2000 — In Proc. Conf. on Temporal Logic, ICTL'00
  • …Model Checking Games for CTL # Martin Lange and Colin Stirling LFCS, Division of Informatics…
  • Cited by 5 (3 self) – Add To MetaCart
  • Modular Model Checking of Software  
  • by Karen Laster, Orna Grumberg — 1997 — In Conference on Tools and Algorithms for the Construction and Analysis of Systems
  • … Modular Model Checking of Software Karen Laster Orna Grumberg Computer Science Department…
  • Cited by 17 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB