Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).
Hagit AttiyaConstantin EneaSergio RajsbaumAna SokolovaPublished in: Dagstuhl Reports (2022)
Keyphrases
- distributed computing
- formal methods
- fault tolerance
- distributed systems
- cloud computing
- model checking
- distributed environment
- grid computing
- knowledge based systems
- formal specification
- mobile agents
- artificial intelligence
- software engineering
- virtual machine
- peer to peer
- distributed computing systems
- fault tolerant
- mobile communications
- formal specification language
- intelligent systems
- development lifecycle
- provide efficient solutions