Exploiting transition locality in automatic verification of finite-state concurrent systems.
Giuseppe Della PennaBenedetto IntrigilaIgor MelattiEnrico TronciMarisa Venturini ZilliPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- concurrent systems
- finite state
- model checking
- transition systems
- temporal logic
- process algebra
- formal specification
- markov chain
- distributed systems
- markov decision processes
- model checker
- vector quantizer
- optimal policy
- formal methods
- context free
- petri net
- average cost
- partially observable markov decision processes
- action sets
- policy iteration
- asynchronous circuits
- data mining
- continuous time markov process