Fairness Modulo Theory: A New Approach to LTL Software Model Checking

2015 ◽  
pp. 49-66 ◽  
Author(s):  
Daniel Dietsch ◽  
Matthias Heizmann ◽  
Vincent Langenfeld ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
New Approach ◽  
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

Applying software model checking to PALS systems

2014 ◽  
Author(s):  
Min Young Nam ◽  
Sagar Chaki ◽  
Lui Sha ◽  
Cheolgi Kim
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model

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