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

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

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

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

Automatic Abstraction in SMT-Based Unbounded Software Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_59 ◽

2013 ◽

pp. 846-862 ◽

Author(s):

Anvesh Komuravelli ◽

Arie Gurfinkel ◽

Sagar Chaki ◽

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Automatic Abstraction

Download Full-text

Automatic abstraction for model checking software systems with interrelated numeric constraints

ACM SIGSOFT Software Engineering Notes ◽

10.1145/503271.503232 ◽

2001 ◽

Vol 26 (5) ◽

pp. 164-174

Author(s):

Yunja Choi ◽

Sanjai Rayadurgam ◽

Mats P.E. Heimdahl

Keyword(s):

Model Checking ◽

Software Systems ◽

Automatic Abstraction

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Download Full-text

Model Checking Control Software for Nonlinear Dynamic Systems

AIAA Guidance, Navigation and Control Conference and Exhibit ◽

10.2514/6.2008-6800 ◽

2008 ◽

Author(s):

James Kapinski ◽

Alexandre Donze ◽

Flavio Lerda ◽

Hitashyam Maka ◽

Edmund Clarke ◽

...

Keyword(s):

Model Checking ◽

Dynamic Systems ◽

Nonlinear Dynamic ◽

Nonlinear Dynamic Systems ◽

Control Software

Download Full-text