Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA

William Schultz, Ian Dardik, Stavros Tripakis

Browse the full FMCAD paper archive.