ResearchTrend.AI
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

William Schultz
Edward Ashton
Heidi Howard
S. Tripakis
ArXivPDFHTML

Papers citing "Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing"

1 / 1 papers shown
Title
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
William Schultz
Ian Dardik
S. Tripakis
34
8
0
12 May 2022