MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems
by Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Joerg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer — 2002 — in GI/ITG/GMM Workshop
…Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems Bernd…
Cited by 3 (0 self) – Add To MetaCart

Bounded model checking and induction: From refutation to verification (extended abstract, category
by Leonardo De Moura, Harald Ruess, Maria Sorea — Proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, volume 2725 of Lecture Notes in Computer Science
… Bounded Model Checking and Induction: From Refutation to Verification ? (Extended Abstract…
Cited by 34 (8 self) – Add To MetaCart

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

Proving security protocols correct
by Lawrence C. Paulson — 1999 — In 14th Annual Symposium on Logic in Computer Science
…. The paper attempts to draw some general lessons on the use of formalisms. Compared with model checking…
Cited by 24 (1 self) – Add To MetaCart

K: a Rewrite Logic Framework for Language Design, Semantics, Analysis and Implementation CS422 Lecture Notes for Homework 6
by unknown authors
… an initial model semantics, amenable to formal analysis such as model checking and inductive theorem proving…
Add To MetaCart

Five Ways to Use Induction and Symmetry in the Verification of Networks of Processes By Model-Checking
by M. Calder, A. Miller — 2002
…Five ways to use induction and symmetry in the verication of networks of processes by model-checking…
Cited by 3 (1 self) – Add To MetaCart

Symbolic reachability analysis of lazy linear hybrid automata
by Susmit Jha, Bryan A. Brady, Sanjit A. Seshia — 2007 — In Proceedings of FORMATS 2007, Lecture Notes in Computer Science
… is based on bounded model checking and k-induction for reachability analysis at different levels…
Cited by 2 (1 self) – Add To MetaCart

CAPSL Integrated Protocol Environment
by Denker And Millen, G. Denker, J. Millen — 2000 — In Proc. of DARPA Information Survivability Conference (DISCEX 2000), pp 207-221, IEEE Computer Society
… security analysis tools, including PVS for inductive verification and Maude for model-checking. 1…
Cited by 47 (6 self) – Add To MetaCart

Temporal refinement using smt and model checking with an application to physical-layer protocols
by Geoffrey M. Brown — 2007 — In Proceedings of Formal Methods and Models for Codesign (MEMOCODE’2007
…-state bounded model checking induction) [4, 13]. One implementation of infinite-bmc induction is in SRI…
Cited by 1 (0 self) – Add To MetaCart

An Integration of Model Checking with Automated Proof Checking
by S. Rajan, N. Shankar, M. K. Srivas — 1995
…Millan [19] present techniques where model checking can be used for the inductive step by using an invariant…
Cited by 84 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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