Lib.rs

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

#why3

  1. pearlite-syn

    Pearlite规范语言的syn解析器

    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