×

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

SAL公司

5份文件引用(2004–2021)
软件作者: 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比
相关软件: 自旋蛋白;PVS;升起…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

P绑定

8份文件引用(2013–2020)
软件作者: Kahsai T,Tinelli C公司
相关软件: SeaHorn;CTIGAR;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

海康普

6篇文献引用(2017–2022)
软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta
相关软件: nuXmv;CTIGAR;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

JKind公司

3份文件引用(2016–2022)
软件作者: 安德鲁·加塞克
相关软件: 第2类;GNU并联;Yosys…
主要字段: 计算机科学(68-XX)

刮擦

2份文件引用(2011)
软件作者: A.F.唐纳森、D.科伦、P.吕默。
相关软件: MiniSat;RacerX;橡皮擦…
主要字段: 计算机科学(68-XX)

筛选结果依据…