Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.
Nouraldin JaberChristopher WagnerSwen JacobsMilind KulkarniRoopsha SamantaPublished in: TACAS (2) (2023)
Keyphrases
- distributed systems
- knowledge based systems
- learning systems
- formal methods
- web services
- expert systems
- management system
- lightweight
- distributed architecture
- distributed database systems
- model checking
- computer networks
- open systems
- database
- heterogeneous environments
- retrieval systems
- complex systems
- building blocks
- multi agent systems
- neural network