Efficient model checking using tabled resolution

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63166-6_16 ◽

1997 ◽

pp. 143-154 ◽

Author(s):

Y. S. Ramakrishna ◽

C. R. Ramakrishnan ◽

I. V. Ramakrishnan ◽

Scott A. Smolka ◽

Terrance Swift ◽

...

Keyword(s):

Model Checking ◽

Tabled Resolution

Download Full-text

Tabled resolution + constraints: a recipe for model checking real-time systems

Proceedings 21st IEEE Real-Time Systems Symposium ◽

10.1109/real.2000.896007 ◽

2002 ◽

Author(s):

Xiaoqun Du ◽

C.R. Ramakrishnan ◽

S.A. Smolka

Keyword(s):

Model Checking ◽

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Tabled Resolution

Download Full-text

A Logical Encoding of the π-Calculus: Model Checking Mobile Processes Using Tabled Resolution

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

10.1007/3-540-36384-x_12 ◽

2002 ◽

pp. 116-131 ◽

Author(s):

Ping Yang ◽

C.R. Ramakrishnan ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Mobile Processes ◽

Π Calculus ◽

Tabled Resolution

Download Full-text

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0136-3 ◽

2004 ◽

Vol 6 (1) ◽

pp. 38-66 ◽

Author(s):

Ping Yang ◽

C.R. Ramakrishnan ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Mobile Processes ◽

Π Calculus ◽

Tabled Resolution

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

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

i-manager’s Journal on Software Engineering ◽

10.26634/jse.13.3.15687 ◽

2019 ◽

Vol 13 (3) ◽

pp. 1

Author(s):

ALIYU E. O. ◽

ADEWALE O. S. ◽

ADETUNMBI A. O. ◽

OJOKOH B. A. ◽

◽

...

Keyword(s):

Download Full-text

Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study

10.31274/etd-180810-2879 ◽

2009 ◽

Author(s):

Sandeep Krishnan

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text