Failure-aware Runtime Verification of Distributed Systems.
David A. BasinFelix KlaedtkeEugen ZalinescuPublished in: FSTTCS (2015)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- message passing
- distributed environment
- load balancing
- model checking
- high assurance
- mobile agents
- geographically distributed
- distributed database systems
- operating system
- distributed computing
- loosely coupled
- real time systems
- mobile computing
- fault tolerance
- agent technology
- database
- artificial intelligence
- databases