Abstract Simulation: A Static Analysis of Simulink Models.

Alexandre Chapoutot Matthieu Martel

Published in: ICESS (2009)

Keyphrases

static analysis
simulation models
dynamic analysis
abstract interpretation
query language
source code
complex systems
simulation model
mathematical models
open source