Semantic Importance Sampling for Statistical Model Checking.
Jeffery P. HansenLutz WrageSagar ChakiDionisio de NizMark H. KleinPublished in: TACAS (2015)
Keyphrases
- model checking
- importance sampling
- monte carlo
- temporal logic
- formal verification
- automated verification
- kalman filter
- temporal properties
- markov chain
- model checker
- formal specification
- timed automata
- symbolic model checking
- computation tree logic
- epistemic logic
- particle filter
- formal methods
- transition systems
- particle filtering
- bounded model checking
- verification method
- markov chain monte carlo
- reactive systems
- approximate inference
- posterior distribution
- natural language
- web services
- domain independent
- hidden markov models