Decentralized Runtime Verification of LTL Specifications in Distributed Systems.
Menna MostafaBorzoo BonakdarpourPublished in: IPDPS (2015)
Keyphrases
- distributed systems
- concurrent systems
- bounded model checking
- transition systems
- model checking
- formal verification
- automated verification
- temporal logic
- model checker
- linear temporal logic
- fault tolerant
- formal specification
- distributed environment
- fault tolerance
- distributed computing
- load balancing
- geographically distributed
- message passing
- mobile agents
- operating system
- loosely coupled
- data replication
- deadlock detection
- distributed database systems
- linear time temporal logic
- mobile computing
- replicated data
- high assurance
- formal methods
- agent based systems
- real time systems
- multi agent
- response time
- cooperative