Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211).
Javier EsparzaPierre FraigniaudAnca MuschollSergio RajsbaumPublished in: Dagstuhl Reports (2018)
Keyphrases
- fault tolerant
- formal methods
- safety critical
- distributed systems
- fault tolerance
- formal analysis
- knowledge based systems
- state machine
- load balancing
- formal specification
- software engineering
- high availability
- model checking
- process algebra
- interconnection networks
- knowledge acquisition
- artificial intelligence
- distributed environment
- intelligent agents
- data streams
- information systems
- mobile agent system