Priority Scheduling of Distributed Systems Based on Model Checking.
Ananda BasuSaddek BensalemDoron A. PeledJoseph SifakisPublished in: CAV (2009)
Keyphrases
- distributed systems
- model checking
- priority scheduling
- temporal logic
- fault tolerant
- load balancing
- concurrent systems
- formal verification
- automated verification
- temporal properties
- model checker
- formal specification
- fault tolerance
- mobile agents
- message passing
- distributed environment
- symbolic model checking
- verification method
- software architecture
- linear temporal logic
- epistemic logic
- bounded model checking
- timed automata
- computation tree logic
- single server
- data replication
- transition systems
- distributed database systems
- formal methods
- real time systems
- object oriented