Formal Verification of an Avionics Sensor Voter Using SCADE.

Samar Dajani-Brown Darren D. Cofer Amar Bouali

Published in: FORMATS/FTRTFT (2004)

Keyphrases

formal verification
model checking
bounded model checking
sensor data
model checker
real time
automated verification
symbolic model checking
program slicing
sensor networks
data acquisition
multi sensor
temporal logic
knowledge base
knowledge acquisition
sensor fusion