Priority scheduling of distributed systems based on model checking.
Ananda BasuSaddek BensalemDoron A. PeledJoseph SifakisPublished in: Formal Methods Syst. Des. (2011)
Keyphrases
- distributed systems
- model checking
- priority scheduling
- temporal logic
- concurrent systems
- formal verification
- load balancing
- model checker
- symbolic model checking
- formal specification
- fault tolerant
- temporal properties
- distributed environment
- fault tolerance
- message passing
- automated verification
- timed automata
- single server
- transition systems
- software architecture
- verification method
- epistemic logic
- computation tree logic
- data replication
- real time systems
- alternating time temporal logic
- bounded model checking
- mobile agents