Verification of Distributed Protocols: Decidable Modeling and Invariant Inference.

Oded Padon

Browse the full FMCAD paper archive.