5 search results for "tag:"keyword:distributed algorithms""

Showing 1 - 5
  1. coq-algorand

    No documentation

    A verified model of the Algorand consensus protocol in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:distributed algorithms keyword:blockchain keyword:consensus keyword:algorand logpath:Algorand date:2022-11-20
    Musab A. Alturki Jing Chen Victor Luchangco Brandon Moore Karl Palmskog et al.
    1.4
    NCSA
    Used by 0 other packages
    21 Nov 2022
  2. coq-chapar

    No documentation

    A framework for verification of causal consistency for distributed key-value stores and their clients in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:causal consistency keyword:key-value stores keyword:distributed algorithms keyword:program verification logpath:Chapar date:2023-12-28
    Mohsen Lesani Christian J. Bell Adam Chlipala
    8.17.0
    MIT
    Used by 0 other packages
    28 Dec 2023
  3. coq-disel

    No documentation

    Core framework files for Disel, a separation-style logic for compositional verification of distributed systems in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:program verification keyword:separation logic keyword:distributed algorithms logpath:DiSeL.Core date:2022-11-28
    Ilya Sergey James R. Wilcox
    2.3
    BSD-2-Clause
    Used by 1 other packages
    28 Nov 2022
  4. coq-disel-examples

    No documentation

    Example systems for Disel, a separation-style logic for compositional verification of distributed systems in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:program verification keyword:separation logic keyword:distributed algorithms logpath:DiSeL.Examples date:2022-11-28
    Ilya Sergey James R. Wilcox
    2.3
    BSD-2-Clause
    Used by 0 other packages
    28 Nov 2022
  5. coq-vlsm

    No documentation

    Coq formalization of validating labelled state transition and message production systems
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:consensus keyword:fault tolerance keyword:distributed algorithms keyword:Paxos logpath:VLSM date:2023-12-15
    Mihai Calancea Denisa Diaconescu Wojciech Kołowski Elaine Li Brandon Moore et al.
    1.3
    BSD-3-Clause
    Used by 0 other packages
    15 Dec 2023