Aragog: Scalable Runtime Verification of Shardable Networked Systems.
Nofel YaseenBehnaz ArzaniRyan BeckettSelim CiraciVincent LiuPublished in: OSDI (2020)
Keyphrases
- management system
- knowledge based systems
- complex systems
- expert systems
- intelligent systems
- asynchronous circuits
- highly scalable
- distributed systems
- machine learning
- learning systems
- petri net
- retrieval systems
- lightweight
- automated verification
- data intensive
- multi agent systems
- learning environment
- genetic algorithm