Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.

Abderraouf Boussif Mohamed Ghazel

Published in: VECoS (2016)

Keyphrases

model checking
case study
temporal logic
fault diagnosis
model based diagnosis
abstract interpretation
formal verification
finite state
automated verification
verification method
partial order reduction
reachability analysis
bounded model checking
epistemic logic
model checker
formal methods
expert systems