Formal Verification for Quality Analysis of SDG Fault Diagnosis Model via Symbolic Model Checking

2010 ◽  
Author(s):  
Ning Ning ◽  
Jun Zhang ◽  
Xiangyang Gao ◽  
Jing Xue
Keyword(s):  
Fault Diagnosis ◽  
Model Checking ◽  
Formal Verification ◽  
Symbolic Model Checking ◽  
Quality Analysis ◽  
Symbolic Model ◽  
Diagnosis Model

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

1999 ◽  
pp. 150-173 ◽  
Author(s):  
Tom Bienmüller ◽  
Udo Brockmeyer ◽  
Werner Damm ◽  
Gert Döhmen ◽  
Claus Eßmann ◽  
...  
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Symbolic Model Checking ◽  
Symbolic Model
Sign in / Sign up

Export Citation Format

Share Document