Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.
Maurice H. ter BeekAxel LegayAlberto Lluch-LafuenteAndrea VandinPublished in: FMSPLE (2015)
Keyphrases
- quantitative analysis
- model checking
- probabilistic model
- software product line
- temporal logic
- qualitative analysis
- formal verification
- future directions
- formal specification
- model checker
- automated verification
- qualitative evaluation
- temporal properties
- timed automata
- finite state
- reachability analysis
- graphical models
- software engineering
- qualitative and quantitative analysis
- symbolic model checking
- verification method
- process algebra
- transition systems
- learning methodologies
- formal methods
- computation tree logic
- epistemic logic
- life cycle
- pspace complete
- asynchronous circuits
- bayesian networks
- software development
- machine learning