Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems

Download PDF
Open Webpage

Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci

Published: 2022, Last Modified: 16 May 2025USENIX ATC 2022EveryoneRevisionsBibTeXCC BY-SA 4.0