Lib.rs

› 关键词 #verification #why3 #specification #correct #pearlite #parser

#creusot

  1. pearlite-syn

    Pearlite 规范语言的反向解析器

    v0.2.0 180 #specification-language #parser #creusot #syn #why3 #pearlite #verification

  2. creusot-contracts

    为 Creusot 提供合约和逻辑助手

    v0.2.0 140 #creusot #verification #contracts #formal-verification #specification #why3 #verifier

  3. xldenis/creusot

    以自动化方式证明您的代码是正确的

    GitHub 0.2.0 #verification #why3 #specification #automatic #assertions #failure #correct

  4. why3

    Why3 AST 和美观打印器

    v0.2.0 130 #printing #ast #pretty #creusot #coma #pretty-printing #exp

  5. creusot-contracts-proc

    为 creusot-contracts 提供过程宏的 crate

    v0.2.0 140 #creusot #why3 #verification #correct #language #semi #specification

    6. 尝试使用 DuckDuckGo 搜索.

  6. creusot-contracts-dummy

    为 creusot-contracts 提供占位符过程宏

    v0.2.0 150 #creusot #why3 #verification #correct #language #specification #proof