Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems

2013 ◽  
Vol 39 (9) ◽  
pp. 1307-13256 ◽  
Author(s):  
Yann Moffett ◽  
Juergen Dingel ◽  
Alain Beaulieu
Keyword(s):  
Model Checking ◽  
Embedded Systems ◽  
Software Model Checking ◽  
Model Driven Development ◽  
Model Driven ◽  
Software Model

Verification of MPI Java programs using software model checking

2016 ◽  
Vol 51 (8) ◽  
pp. 1-2
Author(s):  
Waqas Ur Rehman ◽  
Muhammad Sohaib Ayub ◽  
Junaid Haroon Siddiqui
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Java Programs

scholarly journals Efficient software model checking of soundness of type systems

2008 ◽  
Vol 43 (10) ◽  
pp. 493-504 ◽  
Author(s):  
Michael Roberson ◽  
Melanie Harries ◽  
Paul T. Darga ◽  
Chandrasekhar Boyapati
Keyword(s):  
Model Checking ◽  
Type Systems ◽  
Software Model Checking ◽  
Software Model ◽  
Efficient Software

scholarly journals Software Model Checking of UDP-based Distributed Applications

2015 ◽  
Vol 5 (2) ◽  
pp. 373-402 ◽  
Author(s):  
Nazim Sebih ◽  
Masami Hagiya ◽  
Franz Weitl ◽  
Mitsuharu Yamamoto ◽  
Cyrille Artho ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Applications ◽  
Software Model Checking ◽  
Software Model

scholarly journals Parallel Assignments in Software Model Checking

2006 ◽  
Vol 157 (1) ◽  
pp. 77-94
Author(s):  
Murray Stokely ◽  
Sagar Chaki ◽  
Joël Ouaknine
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model
Sign in / Sign up

Export Citation Format

Share Document