Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.

Paula Herber Robert Reicherdt Patrick Bittner

Published in: EMSOFT (2013)

Keyphrases

formal verification
model checking
matlab simulink
input output
control algorithm
control method
expert systems
edge detection
high order
dynamic model