Using Model Checking Approach for Grading the Semantics of UML Models

International Conference Image Processing, Computers and Industrial Engineering (ICICIE'2014) Jan. 15-16, 2014 Kuala Lumpur (Malaysia) ◽

10.15242/iie.e0114567 ◽

2014 ◽

Keyword(s):

Model Checking ◽

Download Full-text

Applying Model Checking to Concurrent UML Models.

The Journal of Object Technology ◽

10.5381/jot.2008.7.1.a1 ◽

2008 ◽

Vol 7 (1) ◽

pp. 59 ◽

Author(s):

Patrice Gagnon ◽

Farid Mokhati ◽

Mourad Badri

Keyword(s):

Model Checking ◽

Download Full-text

Model Checking of Extended OCL Constraints on UML Models in SOCLe

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_4 ◽

2007 ◽

pp. 59-75 ◽

Author(s):

John Mullins ◽

Raveca Oarga

Keyword(s):

Model Checking ◽

Download Full-text

Applying Software Model Checking Techniques for Behavioral UML Models

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_25 ◽

2012 ◽

pp. 277-292 ◽

Author(s):

Orna Grumberg ◽

Yael Meller ◽

Karen Yorav

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software 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

Mixed strategy reasoning — an approach for resolution-based verification of OCL constraints in UML models

Pollack Periodica ◽

10.1556/pollack.2.2007.s.10 ◽

2007 ◽

Vol 2 (Supplement 1) ◽

pp. 107-119 ◽

Author(s):

Imre Kilián

Keyword(s):

Mixed Strategy ◽

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

Effective UML models by using database system

Korean Artificial Intelligence ◽

10.24225/kjai.2013.1.1.1 ◽

2013 ◽

Vol 1 (1) ◽

pp. 1-3

Author(s):

Faisal Halim ◽

◽

Rizal Muttaqin ◽

Keyword(s):

Database System ◽

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