Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin.
Bostjan VlaovicAleksander VrezeZmago BrezocnikPublished in: IEEE Access (2017)
Keyphrases
- real life
- simulation model
- mathematical model
- computational model
- simulation study
- colored petri nets
- specification language
- probability distribution
- statistical model
- conceptual model
- objective function
- probabilistic model
- database
- mathematical models
- semi automated
- analytical model
- simulation models
- reinforcement learning
- discrete event
- formal verification
- state machine
- face recognition