2 search results for "tag:"logpath:DiSeL""

Showing 1 - 2
  1. 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
  2. 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