Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions.
Christopher WagnerNouraldin JaberRoopsha SamantaPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- distributed systems
- distributed object
- expert systems
- model checking
- automated verification
- cooperative
- information systems
- neural network
- computer vision
- computing environments
- data structure
- multimodal biometrics
- search engine
- distributed network
- open systems
- heterogeneous environments
- data intensive
- computing systems
- communication cost
- management system
- fault tolerant
- computer networks
- distributed environment
- data sets
- mobile agents
- building blocks
- computer systems
- intelligent systems