maSiftUsingRefinementguided:
  type: article
  title: 'Sift: {Using Refinement-guided Automation} to {Verify Complex Distributed Systems}'
  author:
  - Ma, Haojun
  - Ahmad, Hammad
  - Goel, Aman
  - Goldweber, Eli
  - Jeannin, Jean-Baptiste
  - Kapritsos, Manos
  - Kasikci, Baris
  date: 2022
  language: en-US
  abstract: Distributed systems are hard to design and implement correctly. Recent work has tried to use formal verification techniques to provide rigorous correctness guarantees. These works present a hard choice, though. One must either opt for the power of refinement-based approaches like IronFleet and Verdi, at the cost of large amounts of manual effort; or choose the more automated approach of I4, IC3PO, SWISS and DistAI which give up the ability to prove refinement and the power and scalability that come with it.
  parent:
    type: proceedings
    title: 2022 USENIX Annual Technical Conference (USENIX ATC 22)
    publisher: USENIX Association