Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+

12 May 2022

Papers citing "Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+"

3 / 3 papers shown

Title
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing William Schultz Edward Ashton Heidi Howard S. Tripakis 29 3 0 28 Apr 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 26 1 0 17 Dec 2023
Formal Verification of a Distributed Dynamic Reconfiguration Protocol William Schultz Ian Dardik S. Tripakis 27 11 0 24 Sep 2021