Login / Signup
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.
Jiri Barnat
Jan Beran
Lubos Brim
Tomas Kratochvila
Petr Rockai
Published in:
FMICS (2012)
Keyphrases
</>
formal verification
design tools
model checking
automated verification
automated tools
control system
tool support
semi automated
program slicing
model checker
neural network
real time
web environment
fault detection
computer aided
expert systems
symbolic model checking
bounded model checking
reinforcement learning