×

找到5个软件包(结果1-5)

卡拉卡拉

79篇文献引用(2004–2022)
软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。
相关软件: Why3;Caduceus;JML…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

JUnit公司

16篇文献引用(2002–2022)
软件作者: Yoonsik Cheon;Gary T.Leavens。
相关软件: JML;埃菲尔;ESC/Java…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

OpenJML(打开JML)

6篇文献引用(2011–2022)
软件作者: 大卫·R·科克
相关软件: Why3;凯伊;VeriFast…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

杰克

4份文件引用(2004–2011)
软件作者: Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet
相关软件: 卡拉卡拉;JML;Why3…
主要字段: 计算机科学(68-XX)

JML自动测试

1份文件引用(2022)
软件作者: 徐国庆;杨宗元
相关软件: VCC;Caduceus;工具链…
主要字段: 计算机科学(68-XX)

筛选结果依据…