Lazy Reachability Analysis in Distributed Systems.
Loïg JezequelDidier LimePublished in: CONCUR (2016)
Keyphrases
- distributed systems
- reachability analysis
- model checking
- markov decision processes
- timed automata
- fault tolerant
- load balancing
- geographically distributed
- message passing
- distributed environment
- incremental algorithms
- concurrent systems
- distributed computing
- distributed database systems
- deadlock detection
- real time systems
- fault tolerance
- mobile agents
- state space
- operating system
- security policies
- artificial intelligence
- loosely coupled
- partially observable
- decision problems
- first order logic