Detecting Unrealizability of Distributed Fault-tolerant Systems.
Bernd FinkbeinerLeander TentrupPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- safety critical
- high assurance
- distributed environment
- load balancing
- high availability
- distributed computing
- mobile agents
- complex systems
- data structure
- data management
- state machine
- mobile agent system
- intelligent systems
- fine grained
- peer to peer
- message passing
- software development
- interconnection networks
- expert systems