3 search results for "author:"Ilya Sergey""

Showing 1 - 3
  1. coq-ceramist

    No documentation

    Coq library for reasoning about probabilistic algorithms
    category:Computer Science/Data Types and Data Structures keyword: bloomfilter keyword: probability keyword: amq date:2020-04-06
    Kiran Gopinathan Ilya Sergey
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    06 Apr 2020
  2. 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
  3. 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