Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.

William Schultz Ian Dardik Stavros Tripakis

Published in: CoRR (2022)

Keyphrases

distributed systems
bayesian networks
cooperative
machine learning
database
neural network
graphical models
peer to peer
mobile agents
distributed environment
bayesian inference