Model-Checking and Abstraction to the Aid of Parameterized Systems

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

10.1007/3-540-36384-x_2 ◽

2002 ◽

pp. 4-4 ◽

Author(s):

Amir Pnueli ◽

Lenore Zuck

Keyword(s):

Model Checking ◽

Parameterized Systems

Download Full-text

Model Checking Parameterized Systems

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_21 ◽

2018 ◽

pp. 685-725 ◽

Author(s):

Parosh Aziz Abdulla ◽

A. Prasad Sistla ◽

Muralidhar Talupur

Keyword(s):

Model Checking ◽

Parameterized Systems

Download Full-text

A lightweight regular model checking approach for parameterized systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-011-0213-y ◽

2011 ◽

Vol 14 (2) ◽

pp. 207-222 ◽

Author(s):

Giorgio Delzanno ◽

Ahmed Rezine

Keyword(s):

Model Checking ◽

Parameterized Systems ◽

Regular Model ◽

Regular Model Checking

Download Full-text

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-44585-4_29 ◽

2001 ◽

pp. 311-323 ◽

Author(s):

Monika Maidl

Keyword(s):

Model Checking ◽

Safety Properties ◽

Parameterized Systems

Download Full-text

Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_56 ◽

2007 ◽

pp. 721-736 ◽

Author(s):

Parosh Aziz Abdulla ◽

Giorgio Delzanno ◽

Noomene Ben Henda ◽

Ahmed Rezine

Keyword(s):

Model Checking ◽

Parameterized Systems ◽

Regular Model ◽

Regular Model Checking ◽

Efficient Verification

Download Full-text

Model checking and abstraction to the aid of parameterized systems (a survey)

Computer Languages Systems & Structures ◽

10.1016/j.cl.2004.02.006 ◽

2004 ◽

Vol 30 (3-4) ◽

pp. 139-169 ◽

Author(s):

Lenore Zuck ◽

Amir Pnueli

Keyword(s):

Model Checking ◽

Parameterized Systems

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