1 search result for "tag:"logpath:DiSeL.Core""

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