A Formal Compositional Verification Approach for Safety–Critical Systems Correctness - Model–Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software

2012 ◽  
Keyword(s):  
Model Checking ◽  
Methodological Approach ◽  
Compositional Verification ◽  
Critical Systems ◽  
Safety Critical ◽  
Systems Software ◽  
Safety Critical Systems

scholarly journals Model Checking Safety-Critical Systems Using Safecharts

2007 ◽  
Vol 56 (5) ◽  
pp. 692-705 ◽  
Author(s):  
Pao-Ann Hsiung ◽  
Yean-Ru Chen ◽  
Yen-Hung Lin
Keyword(s):  
Model Checking ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document