PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.

Van Chan Ngo Axel Legay Vania Joloboff

Published in: CAV (1) (2016)

Keyphrases

probabilistic model
statistical models
statistical model
software tools
neural network
data driven
model selection
generative model
machine learning algorithms
experimental data
model checking
user friendly
parametric models
modeling tool
probabilistic approaches