MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

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

77 documents found, showing 1 through 10. Next 10 →

ATOM

On Checking Model Checkers
by Gerard Holzmann Gerard — 1998
…On Checking Model Checkers Gerard J. Holzmann gerard@(email omitted); Bell Laboratories…
Add To MetaCart

jMocha: A Model Checking Tool that Exploits Design Structure \Lambda
by R. Alury, R. Grosuz, T. A. Henzinger\lambda, M. Kangy, C. M. Kirsch\lambda, B. Y. Wangy
… is to develop techniques for exploiting modular design structure during model checking. The model checker j…
Add To MetaCart

S.A.: Localizing programs errors for cimple debugging
by Samik Basu, Diptikalyan Saha, Scott A. Smolka — 2004 — In International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), volume 3235 of LNCS
… developed the FocusCheck model checker for Cimple. It identifies all feasible counter-examples in a given…
Cited by 2 (0 self) – Add To MetaCart

Formal Verification of VHDL: The Model Checker CV
by David Déharbe, Subash Shankar, Edmund M. Clarke — 1998
… with an algorithm called symbolic model checking. The model checker applies a number of new techniques to handle…
Cited by 1 (1 self) – Add To MetaCart

Mocha: A Model Checking Tool that Exploits Design Structure
by R. Alur, L. Alfaro, R. Grosu, T. A. Henzinger, M. Kang, Majumdar Kirsch, Mang F. C. M, B. Y. Wang — 2001 — In ICSE 01: Proceedings of the 23rd International Conference on Software Engineering
… design structure during model checking, and the model checker MOCHA is based on this theme of exploiting…
Cited by 16 (8 self) – Add To MetaCart

holcheck Manual
by Hasan Amjad — 2005
… the holcheck model checker. It assumes the reader is familiar with model checking [1], with hol [3], and…
Add To MetaCart

Model Checking Object-Z Classes: Some Experiments with FDR
by Geoff Kassel, Graeme Smith — 2001 — IN ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2001
… formal notation. A model checker exhaustively checks the state space of a specified system for a state…
Cited by 8 (4 self) – Add To MetaCart

C.: Predicate abstraction of programs with non-linear computation
by Songtao Xia, Ben Di, Vito Cesar Munoz — 2006 — Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Volume 4218 of Lecture Notes in Computer Science
… node is reached during model checking. The model checker will take this instrumented CFG as input…
Cited by 1 (0 self) – Add To MetaCart

Formal Verification - Model Checking
by Björn Forsberg, Era/lru/fb Bjrn Forsberg, Ulf Ringbo — 1998
… Model Checkers has been performed. Three different manufacturers of Model Checking tools has been…
Add To MetaCart

Byte Code Verification for Java Smart Cards Based on Model Checking
by Joachim Posegga, Harald Vogt — 1998 — In 5th European Symposium on Research in Computer Security, LNCS
… and uses a model checker for checking the veri cation conditions. The result of the veri cation process can…
Cited by 15 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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