Extending model checkers for hybrid system verification: the case study of SPIN.
María-del-Mar GallardoLaura PanizoPublished in: Softw. Test. Verification Reliab. (2014)
Keyphrases
- case study
- statistical model
- high level
- management system
- mathematical model
- prediction model
- cost function
- formal model
- information retrieval
- theoretical framework
- autoregressive
- linear model
- network model
- sensitivity analysis
- experimental data
- markov random field
- artificial neural networks
- expert systems
- web services
- knowledge base