PinnedLoading

1. ic3poic3poPublic

   IC3PO: IC3 for Proving Protocol Properties

   Python 25 3

2. avravrPublic

   Reads a state transition system and performs property checking

   C++ 76 20

3. ivybenchivybenchPublic

   Collection of Distributed Protocol Verification Problems

   TLA 12 2

4. yices2yices2Public

   Forked fromSRI-CSL/yices2

   The Yices SMT Solver

   SMT 3

5. nfm2021expnfm2021expPublic

   Artifact for the NFM'21 paper - "On Symmetry and Quantification: A New Approach to Verify Distributed Protocols"

6. tacas20aetacas20aePublic

   Artifact for the paper under submission - AVR: Abstractly Verifying Reachability

   Verilog 1