Pinned Loading

1. verse-lab/veil verse-lab/veil Public

   A verifier for automated and interactive proofs about transition systems.

   Lean 180 10

2. protocol-bugs-list protocol-bugs-list Public

   List of bugs found in distributed protocols

   TeX 206 8

3. dsfuzz/mallory dsfuzz/mallory Public

   Greybox Fuzzing of Distributed Systems (CCS'23)

   Clojure 59 8

4. verse-lab/bythos verse-lab/bythos Public

   Compositional Verification of Composite Byzantine Protocols

   Coq 13 1

5. soroban-decidable-verification soroban-decidable-verification Public

   Experiments with verifying Soroban smart contracts using decidable logic

   Dockerfile 1