State Distribution Policy for Distributed Model Checking of Actor Models.
Ehsan KhamespanahMarjan SirjaniMohammad Reza MousaviZeynab Sabahi-KavianiMohamadreza RazzaziPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- model checking
- finite state machines
- temporal logic
- transition systems
- distributed systems
- automated verification
- formal verification
- temporal properties
- reactive systems
- model checker
- verification method
- finite state
- bounded model checking
- formal specification
- asynchronous circuits
- multi agent
- transition probabilities
- linear temporal logic
- computation tree logic