NuSMV公司 281份文件引用(1999–2024) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);Roberto Cavada、Michele Dorigatti、Alessandro Mariotti、Andrea Micheli、Sergio Mover、Marco Roveri、Andrei Tchaltsev 相关软件: 自旋蛋白;CUDD;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MRMC公司 71篇文献引用(2006–2023) 软件作者: Joost-Pieter Katoen;亚琛工业大学 相关软件: 棱镜;Uppaal;CADP… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
派克斯 23篇文献引用(2009–2018) 软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux) 相关软件: 投掷;可爱的;z3… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
MCK公司 34份文件引用(2004–2023) 软件作者: 罗恩·范德梅登;彼得·甘米(Peter Gammie);Kai Baukus;杰里米·李;程洛;黄晓伟 相关软件: MCMAS;VerICS;NuSMV… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
HySAT卫星 26篇文献引用(2006年至2021年) 软件作者: Fränzle,Martin;克里斯蒂安·赫尔德 相关软件: 高科技;数学SAT;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
UCLID公司 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)
有限责任公司 13份文件引用(2012–2022) 软件作者: 斯蒂芬·福克(Stephan Falke);佛罗里达州默兹;卡斯滕·辛兹 相关软件: 不明飞行物;CPA检查员;CBMC… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
玛丽 8份文件引用(2013–2022) 软件作者: 莫妮卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克 相关软件: 清爽;棱镜;SABRE… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
DiVer公司 9份文件引用(2005–2010) 软件作者: Malay K.Ganai。;阿蒂·古普塔;普拉纳夫,阿沙尔 相关软件: 糠;卫星抗体;CBMC… 主要字段: 测量和集成(28-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
萨托里 8份文件引用(2005–2009) 软件作者: Iyer MK、Parthasarathy G、Cheng K-T 相关软件: 糠;SATIRE(满意感);伯克敏… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
爱马仕 8份文件引用(2005–2009) 软件作者: Bozga,L.、Lakhnech,Y.、Perin,M。 相关软件: AVISPA;卡斯珀;Timbuk… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
ProbReach公司 9份文件引用(2015–2023) 软件作者: 费多·什马罗夫(Fedor Shmarov);保罗·祖利亚尼 相关软件: SReachTools;AMYTISS公司;静止… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
SAL公司 5份文件引用(2004–2021) 软件作者: 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件: 自旋蛋白;PVS;升起… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·F·弗里亚斯 相关软件: TestEra;Java路径查找器;GitHub… 主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
CalCS公司 8份文件引用(2013–2019) 软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。 相关软件: dReal;z3;dReach… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
佩里普洛 8份文件引用(2013–2022) 软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜 相关软件: eVolCheck;FunFrog;OpenSMT2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SATMC公司 6篇文献引用(2005–2018) 软件作者: 亚历山德罗·阿曼多(Alessandro Armando)、卢卡·孔帕尼亚(Luca Compagna) 相关软件: AVISPA;OFMC;Maude-NPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者: 莫妮卡·海纳;马丁·施瓦里克;阿列克谢·托夫奇格里奇科 相关软件: 清爽;COPASI;MoVisPP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
FunFrog公司 5份文件引用(2013–2019) 软件作者: Ondrej Sery;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 相关软件: eVolCheck;佩里普洛;OpenSMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Verics公司 6篇文献引用(2003–2018) 软件作者: 彼得亚·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克(Wojciech Penczek);阿加塔·波罗拉;马西耶·斯兹特尔(Maciej Szreter);沃兹纳,博泽纳;安德烈·兹布雷泽兹尼 相关软件: MCMAS;MCK;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者: 勒贝雷,D.,林奇,I。 相关软件: 微量锌;萨齐拉;阿祖卡… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
探查-黑线 4份文件引用(2019–2021) 软件作者: 艾切尔尼格,伯恩哈德·K。;马丁·塔普勒 相关软件: 棱镜;风暴;AALpy… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
斯马卡 1份文件引用(2017) 软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔 相关软件: r-TuBound;STP;OTAWA… 主要字段: 计算机科学(68-XX)
STEWord公司 2份文件引用(2017–2020) 软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰他尼,迪内什;拉凯什·米斯特里 相关软件: MiniSat;ABC;数学SAT5… 主要字段: 计算机科学(68-XX)
变量树 2份文件引用(2009–2016) 软件作者: Simmonds,J.、Davies,J.和Gurfinkel,A。 相关软件: NuSMV;TSPASS;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
乌格姆夸特雷 1份文件引用(2023) 软件作者: Josmar Mazucheli;阿尔维斯,布鲁纳;穆斯塔法·科克马兹。 相关软件: SAS;CRAN;GAMLSS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
可变气门正时(VVT) 1份文件引用(2017) 软件作者: 亨宁·贡瑟;阿尔芬斯·拉阿尔曼(Alfons Laarman);西蒙·詹奇 相关软件: CTIGAR公司 主要字段: 计算机科学(68-XX)