Probabilistic Model Checking of DTMC Models of User Activity Patterns.
Oana AndreiMuffy CalderMatthew HiggsMark A. GirolamiPublished in: QEST (2014)
Keyphrases
- model checking
- markov chain
- temporal logic
- finite state machines
- reactive systems
- probabilistic model
- finite state
- user activity
- formal specification
- formal verification
- automated verification
- formal methods
- deterministic finite automaton
- bounded model checking
- concurrent systems
- asynchronous circuits
- model checker
- machine learning
- computation tree logic
- bayesian networks