Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).
Swen JacobsKenneth McMillanRoopsha SamantaIlya SergeyPublished in: Dagstuhl Reports (2023)
Keyphrases
- distributed systems
- formal methods
- fault tolerant
- formal analysis
- load balancing
- formal specification
- knowledge based systems
- distributed environment
- safety critical
- model checking
- artificial intelligence
- mobile agents
- fault tolerance
- distributed computing
- geographically distributed
- concurrent systems
- distributed database systems
- software engineering
- deadlock detection
- loosely coupled
- real time systems
- security policies
- development lifecycle
- formal specification language
- agent based systems
- replicated data
- data replication
- business processes
- knowledge acquisition
- relational databases