Towards formal validation: Symbolic simulation of SystemC models.

Carna Radojicic Thiyagarajan Purusothaman Christoph Grimm

Published in: DTIS (2015)

Keyphrases

simulation models
statistical models
mathematical models
monte carlo simulation
information retrieval
information systems
probabilistic model
mathematical model
numerical simulations
simulation environment
reactive systems
neural network
simulation model
formal models