×

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

引文 按字母顺序排列

HOL-Boogie公司

14篇文献引用(2008–2019)
软件作者： Böhme，萨沙；Leino，K.Rustan 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；Why3；VCC…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

电子稳定控制系统4

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

RustHorn公司

1份文件引用(2022)
软件作者： 松下裕介、冢田武、小林直树
相关软件： Why3；雅霍布；圣杯…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段