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)…