MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Certifying Model Checkers." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Certifying Model Checkers
by Kedar S. Namjoshi — 2001 — In 13th International Conference Computer Aided Verification
…Certifying Model Checkers Kedar S. Namjoshi Bell Laboratories, Lucent Technologies kedar…
Cited by 25 (1 self) – Add To MetaCart

Reflecting Symbolic Model Checking in Coq
by Kumar Neeraj Verma, Jean Goubault-larrecq, Gie Dyade — 2000
… an implementation and a proof of correctness of a symbolic model checker for the -calculus using BDDs, completely…
Add To MetaCart

Reflecting BDDs in Coq
by Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar — 2000 — IN ASIAN'2000
… or the size of systems verified is concerned. Our goal is to produce certified model-checkers, and also…
Cited by 9 (2 self) – Add To MetaCart

Using Theorem Proving and Algorithmic Decision Procedures for Large-Scale System Verification
by Sandip Ray, J Strother Moore, E. Allen Emerson, Mohammed G. Gouda, Warren A. Hunt, C. Greg Plaxton, John R. Matthews, Ip Ray — 2005
… . . . . . . . . . . . . . . . 346 19.4 Certifying Model Checkers . . . . . . . . . . . . . . . . . . . . . . . . 347 Bibliography…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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