Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie.

Robert Reicherdt Sabine Glesner

Published in: SEFM (2014)

Keyphrases

formal verification
matlab simulink
complex systems
mathematical model
model checking
control algorithm
genetic algorithm
decision trees
multiscale
control system
simulated annealing