TY  - RPRT
TI  - Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
AU  - William Schultz
AU  - Ian Dardik
AU  - Stavros Tripakis
PY  - 2022
UR  - https://arxiv.org/abs/2205.06360
ID  - 2205.06360
ER  -