Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.
Jan ToennemannAdina AniculaeseiAndreas RauschPublished in: SAST (2020)
Keyphrases
- probabilistic model
- experimental data
- prior knowledge
- statistical model
- generic model
- hybrid model
- computational models
- objective function
- accurate models
- multiple models
- predictive model
- linear model
- classification models
- neural network model
- statistical models
- computational model
- finite state machines
- hierarchical model
- model construction
- modeling framework
- model validation
- domain models
- high level
- artificial neural networks
- graphical models
- analytical model
- stochastic model
- modeling method
- parameter estimation
- mathematical model
- random fields
- metamodel
- conceptual model
- bayesian framework