×

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

OBJ咖啡馆

167篇文献引用(1997–2023)
软件作者: 森喜朗(Akira Mori);高基町五指
相关软件: 莫德;OBJ3;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);代数几何(14-XX)…

努Xmv

44篇文献引用(2015–2023)
软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔
相关软件: z3;NuSMV;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

Mcmt公司

27篇文献引用(2010–2023)
软件作者: 吉拉尔迪·S、兰妮丝·S
相关软件: 小卧室;SMT-LIB;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HySAT卫星

26篇文献引用(2006–2021)
软件作者: Fränzle,Martin;克里斯蒂安·赫尔德
相关软件: 高科技;数学SAT;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

放射性核素

24篇文献引用(2002–2020)
软件作者: Randal E.Bryant;Shuvendu K.Lahiri;桑吉特·塞希亚
相关软件: 糠;PVS;MiniSat…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

常春藤

21篇文献引用(2017–2023)
软件作者: McMillan,K.L.,Padon,O。
相关软件: 常春藤;z3;IronFleet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

InVeSt公司

10篇文献引用(1999–2013)
软件作者: Bensalem S、Lakhnech Y、Owre S
相关软件: PVS;TREX公司;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

辛西娅

8份文件引用(2012–2022)
软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。
相关软件: UPPAAL TIGA;Uppaal;棱镜…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;对照(93-XX)

厚板

6篇文献引用(2012–2018)
软件作者: Dräger,K.,Kupriyanov,A.,Finkbeiner,B.,Wehrheim,H。
相关软件: 金刚狼;SLAM;卫星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

海康普

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

HyDI公司

3份文件引用(2013–2015)
软件作者: Cimatti A、Mover S、Tonetta S
相关软件: SpaceEx;数学SAT;HySAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

单子

3份文件引用(2014–2021)
软件作者: 亚历山大·凯撒;Daniel Kroening;托马斯·沃尔
相关软件: ACL2;veriSoft;DDVerify…
主要字段: 计算机科学(68-XX)

InvA公司

2份文件引用(2014–2020)
软件作者: 卡米洛·罗查;何塞·梅塞盖尔
相关软件: 莫德;PKind;HyComp…
主要字段: 计算机科学(68-XX)

McScM公司

1份文件引用(2023)
软件作者: Heußner,亚历山大;特里斯坦勒加尔;格雷戈伊尔·萨特雷
相关软件: 餐前小吃;CADP;旋转…
主要字段: 计算机科学(68-XX)

GBDD公司

1份文件引用(2008)
软件作者: M.尼尔森
相关软件: 库雷;Z;麦克…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

IJIT公司

1份文件引用(2017)
软件作者: 刘培尊、托马斯·沃尔
相关软件: 铁路CNL
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

筛选结果依据…