Verification of Distributed Protocols: Decidable Modeling and Invariant Inference.

Published in: FMCAD (2022)

Keyphrases

cooperative
distributed environment
distributed systems
dynamic bayesian networks
bayesian networks
multi agent
lightweight
probabilistic modeling
first order logic
logic programming
bayesian inference
multi party
cryptographic protocols