MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Bounded model checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 614 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Bounded Model Checking  
  • by For Interpreted Systems, Wojciech Penczek, Wojciech Penczek, Alessio Lomuscio, Alessio Lomuscio — 2002 — In Proc. of the 2nd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS’02), volume 2699 of LNAI
  • …Wojciech Penczek and Alessio Lomuscio Bounded Model Checking for Interpreted Systems ? Nr 946…
  • Add To MetaCart
  • Bounded model checking with QBF  
  • by N. Dershowitz, Z. Hanna, J. Katz — 2005 — in Int’l Conf. on Theory and Applications of Satisfiability Testing
  • …Bounded Model Checking with QBF N. Dershowitz, Z. Hanna and J. Katz Abstract. Current algorithms…
  • Cited by 8 (1 self) – Add To MetaCart
  • Bounded Model Checking  
  • by Armin Biere , Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu — 2003
  • …Vol. 58 of Advances in Computers, 2003. Academic Press (pre-print). Bounded Model Checking Armin…
  • Cited by 26 (0 self) – Add To MetaCart
  • On bounded model checking of asynchronous systems  
  • by Abteknillinen Korkeakoulu, Universite De, Toni Jussila, Toni Jussila, Tietotekniikan Osasto, C Toni Jussila, Otamedia Oy — 2005
  • … ON BOUNDED MODEL CHECKING OF ASYNCHRONOUS SYSTEMS Toni Jussila ABTEKNILLINEN KORKEAKOULU TEKNISKA HÖGSKOLAN…
  • Cited by 2 (0 self) – Add To MetaCart
  • 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
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB