MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for ""Model Checking" symbolique de r�seaux bio-chimiques." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 614,846 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • An Integration of Model Checking and Proof Checking  
  • by Stanford Fm Seminar, Work In Progress, Natarajan Shankar, P. Sreeranga Rajan, M. Srivas — 1995
  • …' & $ % Stanford FM Seminar May 1, 1995 ' & $ % An Integration of Model Checking and Proof…
  • Add To MetaCart
  • Liveness Checking as Safety Checking  
  • by Armin Biere, Cyrille Artho, Viktor Schuppan — 2002 — In FMICS’02: Formal Methods for Industrial Critical Systems, volume 66(2) of ENTCS
  • … and thus extends to full LTL. 1 Introduction Model Checking [12] is one of the most successful approaches…
  • Cited by 29 (2 self) – Add To MetaCart
  • 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
  • Module Checking  
  • by Orna Kupferman, Moshe Y. Vardi — 1996
  • … makes them particularly appropriate for the specification of open systems. Nevertheless, model-checking…
  • Cited by 54 (9 self) – Add To MetaCart
  • Model checking and abstraction  
  • by Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria — 1994 — ACM Transactions on Programming Languages and Systems
  • …A Prediction Model for the Combination of Class Characteristics in Large OO Applications Peter J…
  • Cited by 526 (40 self) – Add To MetaCart
  • Model Checking Programs  
  • by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park — 2000 — AUTOMATED SOFTWARE ENGINEERING JOURNAL
  • …Model Checking Programs Willem Visser RIACS/NASA Ames Research Center Moffet Field, CA 94035, USA…
  • Cited by 281 (53 self) – Add To MetaCart
  • CTL* Model Checking for SPIN  
  • by Willem Visser, Howard Barringer — 1999 — In Software Tools for Technology Transfer, LNCS
  • …CTL Model Checking for SPIN Willem Visser and Howard Barringer Department of Computer Science…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB