×

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

JML公司

161份文件引用(2000–2023)
软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司
相关软件: 规范#;埃菲尔;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

电子稳定控制系统/Java

120篇文献引用(2001–2022)
软件作者: 格雷格·纳尔逊
相关软件: 规范#;简化;JML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

卡拉卡拉

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

JUnit公司

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

回路

24篇文献引用(2001–2012)
软件作者: 约阿希姆·范登伯格;巴特·雅各布斯
相关软件: JML;PVS;卡拉卡拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

墨西哥煎玉米卷

6篇文献引用(2013–2021)
软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·弗里亚斯
相关软件: TestEra;Java PathFinder;MiniSat…
主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-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
相关软件: 卡拉卡拉;Why3;ESC/Java…
主要字段: 计算机科学(68-XX)

DynaMate公司

1份文件引用(2015)
软件作者: Galeotti,J.P.、Furia,C.A.、May,E.、Fraser,G.、Zeller,A
相关软件: 灵华;VAMPIRE公司;KeY…
主要字段: 计算机科学(68-XX)

标识哈希映射

1份文件引用(2022)
软件作者: 甲骨文公司
相关软件: OpenJML;JML单位;JBMC…
主要字段: (68N15-XX);(68P05-XX);(68Q60-XX)

JCML公司

2份文件引用(2009–2012)
软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。
相关软件: 回路;Z;JML…
主要字段: (68N15-XX);(68N30-XX)

JML自动测试

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

安全JML

2份文件引用(2013–2015)
软件作者: 哈达德G、侯赛因F、莱文斯GT
相关软件: FDR3;火花;马戏团…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…