Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2404.18048
Cited By
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
28 April 2024
William Schultz
Edward Ashton
Heidi Howard
S. Tripakis
Re-assign community
ArXiv
PDF
HTML
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+
William Schultz
Ian Dardik
S. Tripakis
34
8
0
12 May 2022
1
