Decomposing Software Verification using Distributed Summary Synthesis.
Dirk BeyerMatthias KettlThomas LembergerPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- distributed systems
- multi agent
- mobile agents
- cooperative
- peer to peer
- scalable distributed
- distributed environment
- lightweight
- database systems
- information systems
- face recognition
- real time
- information retrieval
- machine learning
- fault tolerant
- computing environments
- distributed database systems
- distributed computing
- distributed learning
- data sets