Incremental model checking in the modal mu-calculus

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_67 ◽

1994 ◽

pp. 351-363 ◽

Author(s):

Oleg V. Sokolsky ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Incremental Model

Download Full-text

Incremental model checking of delta-oriented software product lines

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2015.09.004 ◽

2016 ◽

Vol 85 (1) ◽

pp. 245-267 ◽

Author(s):

Malte Lochau ◽

Stephan Mennicke ◽

Hauke Baller ◽

Lars Ribbeck

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Incremental Model ◽

Software Product

Download Full-text

Incremental model checking for decomposable structures

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1995 ◽

10.1007/3-540-60246-1_159 ◽

1995 ◽

pp. 540-551 ◽

Author(s):

J. A. Makowsky ◽

E. V. Ravve

Keyword(s):

Model Checking ◽

Incremental Model ◽

Decomposable Structures

Download Full-text

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-55754-6_11 ◽

2020 ◽

pp. 187-203

Author(s):

Vassil Todorov ◽

Safouan Taha ◽

Frédéric Boulanger

Keyword(s):

Model Checking ◽

Quality Metrics ◽

Incremental Model

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

Software Defect Prediction Incremental Model using Ensemble Learning

International Journal of Performability Engineering ◽

10.23940/ijpe.20.11.p9.17711780 ◽

2020 ◽

Vol 16 (11) ◽

pp. 1771

Author(s):

Wang Shibo ◽

Li Yong ◽

Mi Wenbo ◽

Liu Ying

Keyword(s):

Ensemble Learning ◽

Defect Prediction ◽

Software Defect Prediction ◽

Incremental Model ◽

Software Defect

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

The research of incremental model based on multivariate quality loss function

Modern Engineering Solutions for the Industry (Set) ◽

10.2495/mesi140081 ◽

2014 ◽

Author(s):

Saisai Duan ◽

Shuhai Fan ◽

Tinghua Huang ◽

Lanjuan Dong ◽

Yexiang Fang

Keyword(s):

Loss Function ◽

Quality Loss ◽

Quality Loss Function ◽

Model Based ◽

Incremental Model ◽

Multivariate Quality Loss Function

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