Automatic Abstraction Using Generalized Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_11 ◽

2002 ◽

pp. 137-151 ◽

Author(s):

Patrice Godefroid ◽

Radha Jagadeesan

Keyword(s):

Model Checking ◽

Generalized Model ◽

Automatic Abstraction

Download Full-text

Tearing based automatic abstraction for CTL model checking

Proceedings of International Conference on Computer Aided Design ◽

10.1109/iccad.1996.568969 ◽

2002 ◽

Author(s):

Woohyuk Lee ◽

A. Pardo ◽

Jae-Young Jang ◽

G. Hachtel ◽

F. Somenzi

Keyword(s):

Model Checking ◽

Automatic Abstraction

Download Full-text

Generalized Model Checking: Reasoning about Partial State Spaces

CONCUR 2000 — Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-44618-4_14 ◽

2000 ◽

pp. 168-182 ◽

Author(s):

Glenn Bruns ◽

Patrice Godefroid

Keyword(s):

Model Checking ◽

State Spaces ◽

Generalized Model ◽

Download Full-text

Generalized Model-Checking over Locally Tree-Decomposable Classes

STACS 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-45841-7_52 ◽

2002 ◽

pp. 632-644 ◽

Author(s):

Markus Frick

Keyword(s):

Model Checking ◽

Generalized Model

Download Full-text

LTL Generalized Model Checking Revisited

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-93900-9_11 ◽

2008 ◽

pp. 89-104 ◽

Author(s):

Patrice Godefroid ◽

Nir Piterman

Keyword(s):

Model Checking ◽

Generalized Model

Download Full-text

Automatic abstraction for model checking software systems with interrelated numeric constraints

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 ◽

10.1145/503209.503232 ◽

2001 ◽

Author(s):

Yunja Choi ◽

Sanjai Rayadurgam ◽

Mats P.E. Heimdahl

Keyword(s):

Model Checking ◽

Software Systems ◽

Automatic Abstraction

Download Full-text

Generalized Model Checking

12th International Symposium on Temporal Representation and Reasoning (TIME'05) ◽

10.1109/time.2005.24 ◽

2005 ◽

Author(s):

P. Godefroid

Keyword(s):

Model Checking ◽

Generalized Model

Download Full-text

Generalized Model-Checking Problems for First-Order Logic

STACS 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-44693-1_2 ◽

2001 ◽

pp. 12-26 ◽

Author(s):

Martin Grohe

Keyword(s):

Model Checking ◽

Order Logic ◽

First Order Logic ◽

Generalized Model ◽

Download Full-text

LTL generalized model checking revisited

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-010-0169-3 ◽

2010 ◽

Vol 13 (6) ◽

pp. 571-584 ◽

Author(s):

Patrice Godefroid ◽

Nir Piterman

Keyword(s):

Model Checking ◽

Generalized Model

Download Full-text

Generalized Model-Checking over Locally Tree-Decomposable Classes

Theory of Computing Systems ◽

10.1007/s00224-003-1111-9 ◽

2004 ◽

Vol 37 (1) ◽

pp. 157-191 ◽

Author(s):

Markus Frick

Keyword(s):

Model Checking ◽

Generalized Model

Download Full-text

Automatic abstraction techniques for propositional μ-calculus model checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63166-6_5 ◽

1997 ◽

pp. 12-23 ◽

Author(s):

Abelardo Pardo ◽

Gary D. Hachtel

Keyword(s):

Model Checking ◽

Automatic Abstraction

Download Full-text