Sign in

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

William SchultzIan DardikStavros 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