QuickSilver: modeling and parameterized verification for distributed agreement-based systems.
Nouraldin JaberChristopher WagnerSwen JacobsMilind KulkarniRoopsha SamantaPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- distributed systems
- distributed computation
- distributed object
- management system
- building blocks
- multi agent
- fault tolerant
- formal methods
- heterogeneous environments
- mission critical
- communication cost
- uniform access
- highly distributed
- asynchronous circuits
- computing systems
- artificial intelligence
- distributed environment
- case study
- information systems