The code base for the Sift prototype, as described in the ATC '22 paper "Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool