CSPM核心语言 | 22 | 0 | 4 | CSP核心语言的定义。 | (bsd3型,并发,形式方法,语言,图书馆) | 2017-10-26 | 0.3.1.0 | 马尔方丹 |
CSPM点火规则 | 17 | 0 | 2 | CSPM的激发规则语义 | (bsd3型,并发,形式方法,语言,图书馆) | 2017-10-26 | 0.4.4.0 | 马尔方丹 |
CSPM-前端 | 24 | 0 | 4 | 与FDR-2.91兼容的CSP-M解析器 | (bsd3型,并发,形式方法,语言,图书馆) | 2017-10-26 | 0.12.1.0 | 马尔方丹 |
CSPM口译员 | 22 | 0 | 2 | CSPM的解释器 | (bsd3型,并发,形式方法,语言,图书馆) | 2017-10-26 | 0.7.1.0 | 马尔方丹 |
CSPM至Prolog | 16 | 0 | 2 | 一些特定于ProB工具的模块 | (bsd3型,形式方法,图书馆) | 2017-10-26 | 0.5.5.0 | 马尔方丹 |
CSPM-CSPM公司 | 23 | 0 | 1 | 用于分析cspm规范的cspm命令行工具。 | (bsd3型,并发,形式方法,语言,图书馆,程序) | 2017-10-26 | 0.8.1.0 | 马尔方丹 |
低压摊铺机 | 10 | 0 | 0 | 一种涉及非线性实数算法的自动校准器目标问题 | (形式方法,图书馆,数学,数学,数学,英里/小时,程序,理论证明者,验证) | 2023-03-13 | 0.0.5.0 | 朱奈德·拉希德 |
传播FP | 11 | 0 | 1 | 浮点程序的自动验证 | (形式方法,图书馆,数学,数学,数学,英里/小时,程序,理论证明者) | 2023-03-12 | 0.1.2.0 | 朱奈德·拉希德 |
SmtLib软件 | 5 | 0 | 1 | 用于分析SMTLIB2的库 | (形式方法,图书馆,麻省理工学院) | 2015-02-22 | 0.1.0.0 | 罗杰62 |
acl2型 | 13 | 0 | 2 | 从Haskell写入并调用ACL2。 | (bsd3型,形式方法,语言,图书馆) | 2014-10-01 | 0.0.1 | 汤姆·霍金斯 |
自动飞行车辆 | 17 | 0 | 1 | 迭代C程序的无限状态模型检查。 | (bsd3型,形式方法,程序) | 2010-03-31 | 0.1.1 | 汤姆·霍金斯 |
三磷酸腺苷 | 5 | 0 | 0 | 自动化定理证明器的接口 | (形式方法,通用公共照明,图书馆,逻辑,数学,理论证明者) | 2021-01-25 | 0.1.0.0 | EK公司 |
隆胸器 | 29 | 0 | 1 | Boolector SMT解算器的Haskell绑定 | (位向量,形式方法,图书馆,数学,麻省理工学院,表面贴装,理论证明者) | 2020-08-20 | 0.0.0.13 | 戴安·斯特凡 |
鸽子 | 13 | 0 | 1 | 鸽子验证语言。 | (bsd3型,形式方法,语言,图书馆) | 2015-04-28 | 0.0.0 | 汤姆·霍金斯 |
第二组 | 13 | 0 | 1 | Haskell符号执行引擎。 | (bsd3型,形式方法,图书馆,程序,符号计算) | 2024-03-22 | 0.2.0.0 | 威廉·哈拉汉 |
g2q公司 | 6 | 0 | 0 | G2Q允许通过编写Haskell谓词进行约束编程。 | (bsd3型,形式方法,图书馆,符号计算) | 2019-06-30 | 0.1.0.0 | 威廉·哈拉汉 |
ghc证明 | 6 | 0 | 1 | GHC插件,通过简化证明程序方程 | (编译器插件,形式方法,图书馆,麻省理工学院) | 2017-09-05 | 0.1.1 | 约阿希姆·布雷特纳 |
灰姑娘 | 37 | 0 | 1 | 作为库的符号评估 | (bsd3型,形式方法,图书馆,表面贴装,符号计算,理论证明者) | 2024-06-07 | 0.6.0.0 | 西鲁鲁 |
灰单胞果苷 | 6 | 0 | 0 | 支持带有Grisette的monad协同程序包 | (bsd3型,形式方法,图书馆,表面贴装,符号计算,理论证明者) | 2024-01-10 | 0.2.0.0 | 西鲁鲁 |
隐士 | 17 | 0 | 2 | Haskell等式推理模型到实现隧道 | (bsd3型,形式方法,语言,图书馆,优化,程序,重构,反射,转型) | 2016-02-23 | 1.0.1 | 安德鲁·法默,安迪·吉尔,尼尔·斯卡索普,莱昂斯科特 |
赫兹3(已弃用) | 9 | 0 | 0 | Z3定理证明器的绑定 | (位向量,bsd3型,已弃用,形式方法,图书馆,数学,表面贴装,理论证明者) | 2019-10-01 | 96.0.0.0 | |
改善 | 42 | 0 | 2 | 一种用于高保证应用程序的命令式、可验证的编程语言。 | (bsd3型,嵌入的,形式方法,语言,图书馆) | 2011-07-29 | 0.4.0 | 汤姆·霍金斯 |
开放理论 | 21 | 0 | 12 | 标准理论库 | (形式方法,图书馆,麻省理工学院) | 2015-07-24 | 1.200 | 乔·赫德 |
开放理论位 | 19 | 0 | 三 | 自然数到位列表的转换 | (形式方法,图书馆,麻省理工学院) | 2015-10-19 | 1.69 | 乔·赫德 |
开放理论字节 | 11 | 0 | 1 | 字节 | (形式方法,图书馆,麻省理工学院) | 2015-10-19 | 1.128 | 乔·赫德 |
开放理论原语 | 17 | 0 | 13 | OpenTheory包使用的Haskell原语 | (形式方法,图书馆,麻省理工学院) | 2015-10-19 | 1.8 | 乔·赫德 |
开放理论概率 | 18 | 0 | 三 | 概率 | (形式方法,图书馆,麻省理工学院) | 2015年10月19日 | 1.52 | 乔·赫德 |
安全耦合 | 5 | 2 | 0 | 概率算法的关系证明系统 | (bsd3型,形式方法,图书馆) | 2022-06-15 | 0.1.0.1 | 口才 |
小型商用车 | 422 | 2.75 | 12 | 基于SMT的验证:使用SMT求解的符号哈斯克尔定理证明器。 | (位向量,bsd3型,形式方法,图书馆,数学,表面贴装,符号计算,理论证明者) | 2024-05-11 | 10.10 | 利文特·埃尔科克 |
sbv程序 | 6 | 0 | 0 | 基于SBV的组件式程序综合 | (位向量,bsd3型,形式方法,图书馆,表面贴装,符号计算) | 2023-01-26 | 1.1.0.0 | 箭头 |
sbv插件 | 42 | 0 | 1 | 使用SBV/SMT正式证明Haskell程序的属性 | (bsd3型,形式方法,图书馆,数学,表面贴装,符号计算,理论证明者) | 2024-05-22 | 9.10.1 | 利文特·埃尔科克 |
smcdel公司 | 13 | 2 | 0 | 动态认识逻辑的符号模型检验 | (形式方法,通用公共照明,图书馆,逻辑,程序) | 2024-04-24 | 1.3.0 | m4lvin公司 |
smtlib2型 | 11 | 2 | 6 | 与SMT解算器通信的类型安全接口。 | (形式方法,通用公共照明,图书馆,表面贴装,符号计算,理论证明者) | 2017-01-05 | 1 | 亨宁·冈瑟 |
smtlib2-调试 | 5 | 0 | 1 | 为了调试目的,转储与SMT解算器的通信。 | (形式方法,通用公共照明,图书馆,表面贴装,符号计算,理论证明者) | 2017-01-05 | 1 | 亨宁·冈瑟 |
smtlib2管道 | 5 | 0 | 1 | 与SMT解算器通信的类型安全接口。 | (形式方法,通用公共照明,图书馆,表面贴装,符号计算,理论证明者) | 2017-01-05 | 1 | 亨宁·冈瑟 |
smtlib2-快速检查 | 5 | 0 | 1 | 用于在QuickCheck中创建SMTLib表达式的帮助器函数 | (形式方法,通用公共照明,图书馆,表面贴装,符号计算,理论证明者) | 2017-01-06 | 1 | 亨宁·冈瑟 |
smtlib2-定时 | 4 | 0 | 1 | 获取SMT查询的计时信息 | (形式方法,通用公共照明,图书馆,表面贴装,符号计算,理论证明者) | 2017-01-07 | 1 | 亨宁·冈瑟 |
理论探索 | 7 | 0 | 1 | 定理探索的公共库,定理证明游戏。 | (bsd3型,形式方法,游戏,图书馆,理论证明者) | 2011年2月28日 | 0.0.0 | 汤姆·霍金斯 |
理论任务-客户端 | 7 | 0 | 1 | TheoremQuest定理证明游戏的简单客户端。 | (bsd3型,形式方法,游戏,程序,理论证明者) | 2011-02-28 | 0.0.0 | 汤姆·霍金斯 |
玩具解决者 | 23 | 0 | 4 | SAT、SMT、Max-SAT、PB、MIP等的各种决策程序 | (算法,bsd3型,约束,形式方法,图书馆,逻辑,优化,优化,程序,表面贴装,理论证明者) | 2022-09-17 | 0.8.1 | Masahiro酒井 |
tptp(tptp) | 12 | 0 | 1 | TPTP语言的分析器和漂亮的打印机 | (形式方法,通用公共照明,语言,图书馆,解析,漂亮打印机,理论证明者) | 2021-01-11 | 0.1.3.0 | EK公司 |
什么4 | 79 | 2.25 | 8 | 支持发出查询的与解算器无关的符号值 | (bsd3型,形式方法,图书馆,程序,表面贴装,符号计算,理论证明者) | 2024-05-15 | 1.6 | 罗伯特·多金斯,莱昂斯科特,玻璃质的 |
yices无入口 | 9 | 0 | 1 | 用于编程Yices SMT解算器的嵌入式语言 | (bsd3型,形式方法,图书馆,数学,理论证明者) | 2011-01-17 | 0.1.2 | 唐纳德·斯图尔特 |
z3(零3) | 37 | 2.25 | 6 | Z3定理证明器的绑定 | (位向量,bsd3型,形式方法,图书馆,数学,表面贴装,理论证明者) | 2020-08-29 | 408.2 | 伊戈阿巴尔 |