Model Checking Single Web Services using Markov Chains and MDPs.
Giti OghabiJamal BentaharAbdelghani BenharrefPublished in: SoMeT (2011)
Keyphrases
- finite state
- model checking
- markov chain
- web services
- markov decision processes
- transition probabilities
- state space
- reachability analysis
- temporal logic
- average cost
- symbolic model checking
- temporal properties
- formal specification
- transition systems
- verification method
- model checker
- formal verification
- monte carlo
- random walk
- finite state machines
- bounded model checking
- automated verification
- policy iteration
- computation tree logic
- partially observable markov decision processes
- formal methods
- reward function
- timed automata
- markov processes
- epistemic logic
- transition matrix
- markov model
- learning algorithm
- markov models
- probabilistic automata
- optimal policy
- dynamic programming
- reinforcement learning