DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols.
Jianan YaoRunzhou TaoRonghui GuJason NiehPublished in: OSDI (2022)
Keyphrases
- bayesian networks
- distributed systems
- cooperative
- machine learning
- fault tolerant
- database replication
- inference process
- semi automated
- multi party
- distributed data
- probabilistic inference
- computer networks
- distributed environment
- model checking
- lightweight
- inference engine
- belief networks
- moment invariants
- communication protocols
- commit protocols
- inductive reasoning
- deductive reasoning