10 citations · 11 across the 3 of their papers we have counts for
1 paper · 2 filters
William Schultz, Ian Dardik, Stavros Tripakis
We present a new technique for automatically inferring inductive invariants of parameterized distributed protocols specified in TLA+. Ours is the first such invariant inference tec…