×

找到7个软件包（结果1-7）

引文 按字母顺序

HOL-Boogie公司

14篇文献引用(2008–2019)
软件作者： Böhme，萨沙；Leino，K.鲁斯坦M。；沃尔夫，伯克哈特
相关软件： Isabelle/HOL；Why3；布吉…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

贾霍布

11份文件引用（2007年至2022年）
软件作者： Kuncak，V.、Wies，T.、Zee，K.、Malkis，A.、Bouillaguet，C.、Nguyen，H.H.、Schmitt，P。
相关软件： z3；VCC；Why3…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

安娜

8份文件引用(1986–2007)
软件作者： 大卫·勒克姆
相关软件： Ada95；火花；规范#…
主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）

j承包商

9份文件引用(2002–2012)
软件作者： 穆拉特·卡拉曼；帕克·阿伯克龙比
相关软件： JML；埃菲尔；规范#…
主要字段： 计算机科学（68-XX）

VeriCon公司

5份文件引用(2014–2021)
软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。
相关软件： 食蚁兽；NetKAT；Kuai…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者： 佩里·R·詹姆斯。；帕特里斯·沙林
相关软件： 布吉；电子稳定控制系统/Java；cvc3…
主要字段： 计算机科学（68-XX）

RustHorn公司

1份文件引用(2022)
软件作者： 松下由纪夫、筑田武史、小林直树
相关软件： 贾霍布；圣杯；锈蚀…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段