scholarly journals Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

2007 ◽  
pp. 44-58 ◽  
Author(s):  
L. Ruhai Cai ◽  
Jeremy S. Bradbury ◽  
Juergen Dingel
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Domain Specific ◽  
Software Model ◽  
Event Based

scholarly journals State/Event-Based Software Model Checking

2004 ◽  
pp. 128-147 ◽  
Author(s):  
Sagar Chaki ◽  
Edmund M. Clarke ◽  
Joël Ouaknine ◽  
Natasha Sharygina ◽  
Nishant Sinha
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Event Based

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