自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CESAR公司 160篇文献引用(1982–2023) 软件作者: Queille,J.P。;J.西法基斯。 相关软件: 自旋蛋白;灌篮;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
mCRL2型 59篇文献引用(2007–2023) 软件作者: 格罗特,扬·弗里索;Aad Mathijssen;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 相关软件: CADP;自旋蛋白;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
迪维尼 引用于40篇文献(1996–2020) 软件作者: J.Barnat;L.Brim;P.罗凯 相关软件: 自旋蛋白;BEEM;NuSMV… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
WSAT公司 引用于29份文件(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
模仿者 34份文件引用(1996–2023) 软件作者: 埃蒂安·安德烈 相关软件: Uppaal;高科技;PPL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
LTSmin公司 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆 相关软件: 自旋蛋白;Uppaal;迪文… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-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)
铁人舰队 16篇文献引用(2017–2023) 软件作者: Hawblitzel,C。;豪厄尔,J。;卡普里特索斯,M。;Lorch,J.R。;巴诺,B。;罗伯茨,M.L。;塞蒂,S.T.V。;齐尔,B 相关软件: z3;达夫尼;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
fc2工具 12份文件引用(1999–2022) 软件作者: Bouali,A.、Ressouche,A.、Roy,V.、de Simone,R。 相关软件: CADP;到期未结;CAESAR_SOLVE… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
迪维尔 引用于9份文件(2005–2010) 软件作者: Malay K.Ganai。;阿蒂·古普塔;普拉纳夫·阿沙尔 相关软件: 糠;卫星抗体;CBMC… 主要字段: 测量和集成(28-XX);动力学系统和遍历理论(37-XX);统计学(62-XX)…
丽贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PSync(同步) 引用于9份文件(2016–2023) 软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里 相关软件: 威尔第;常春藤;ByMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
特克莱姆 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥Pugliese 相关软件: 克拉姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
消防员 5份文件引用(2009–2018) 软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。 相关软件: 马尔格雷夫;菲尔马托;HOL测试生成… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
弗罗斯特 引用于7份文件(2021–2022) 软件作者: 科姆洛,C.,戈德堡,I。 相关软件: MuSig2;github;U-Prove… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
配套元件 6篇文献引用(1993–2017) 软件作者: W.R.贝维尔 相关软件: veriSoft;伊莎贝尔·霍尔;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
沙帕尔 6篇文献引用(2016–2023) 软件作者: 莱萨尼,莫森;克里斯蒂安·贝尔(Christian J.Bell)。;亚当·奇利帕拉 相关软件: 铁人舰队;威尔第;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
意大利烟草协会 5份文件引用(2011–2015) 软件作者: Cámara,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni,M。;运河,C。;皮门特尔,E。 相关软件: 莫德;LTSA-WS;WSAT… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
AADL公司 3份文件引用(2012–2016) 软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件: 电子LOTOS;GRL;LNT2LOTOS… 主要字段: 计算机科学(68-XX)
KeY-ABS公司 4份文件引用(2015–2021) 软件作者: Din,Crystal Chang;理查德·布贝尔(Richard Bubel);雷纳·哈内尔 相关软件: 防抱死制动系统;斯卡拉;算法864… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
时代广场 3份文件引用(2015年至2016年) 软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet) 相关软件: 酯类;Uppaal;信号… 主要字段: 计算机科学(68-XX)
科佩利亚·西姆 3份文件引用(2020–2023) 软件作者: 科佩利亚机器人有限公司。 相关软件: 活性氧;GAZEBO;BERT… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
阿雷波 在0个文档中引用 软件作者: Rainer Weinberger、Volker Springel、Rüdiger Pakmor 相关软件: 小控件;RAJA公司;CHARM++… 主要字段: ——
CBabel公司 2份文件引用(2005–2009) 软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格 相关软件: 莫德;GraphML;SLMC… 主要字段: 计算机科学(68-XX)
构造性证明FLP 2份文件引用(2016–2018) 软件作者: 本杰明·比斯平;鲍尔·达维德·布罗德曼;蒂姆·荣尼尼;克里斯蒂娜·里克曼;Seidler,Henning;Anke的Stüber;阿诺·威廉·韦德纳;彼得斯(Kirstin Peters);乌韦·内斯特曼 相关软件: 存档正式证据;铁人舰队;CVC4… 主要字段: 计算机科学(68-XX)
EFSMT公司 2份文件引用(2016–2019) 软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件: z3;Yices;SMT-RAT… 主要字段: 计算机科学(68-XX)
高斯 2份文件引用(2011–2018) 软件作者: 罗伯特·帕尔默;史蒂夫·巴鲁斯(Steve Barrus);余阳;Ganesh Gopalakrishnan;罗伯特·M·柯比 相关软件: ISP;自旋蛋白;SLAM… 主要字段: 计算机科学(68-XX)
JCML公司 2份文件引用(2009–2012) 软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Musicante,Martin A。;索扎·内托(Souza Neto),Pl’acido A。 相关软件: 回路;Z;JML… 主要字段: 计算机科学(68-XX)
ProbDiVinE公司 2份文件引用(2014–2018) 软件作者: Barnat,J。;Brim,L。;塞尔纳,I。;塞斯卡,M。;J.图莫娃。 相关软件: 棱镜;通过;狂犬病… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
REMM公司 2份文件引用(2008–2021) 软件作者: 弗朗西斯科·莫斯卡托;Venticinque,萨尔瓦多;阿弗莎、罗科;贝尼亚米·迪·马蒂诺 相关软件: 罗丹;贾德克斯 主要字段: 计算机科学(68-XX)
路由库 2份文件引用(2018年-2020年) 软件作者: 兰·兹米格罗德;马修·达吉特(Matthew L.Daggitt)。;蒂莫西·格里芬。 相关软件: 阿格达;github 主要字段: 计算机科学(68-XX)
立方体AMR 1份文件引用(2023) 软件作者: 米歇尔·查兹马诺拉基斯(Michail Chatzimanolakis);帕斯卡·韦伯(Pascal Weber);费边·沃梅林格;彼得罗·库穆塔科斯 相关软件: odmd;OctNet;亚当… 主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)
RHydroBox3D(右液压箱3D) 1份文件引用(2020) 软件作者: 伊戈尔·库利科夫 相关软件: 爱因斯坦工具包;CAFE-R;TESS… 主要字段: 流体力学(76-XX);天文学和天体物理学(85-XX)
VerChor公司 1份文件引用(2020) 软件作者: Matthias Güdemann、Pascal Poizat、Gwen Salaün、Lina Ye 相关软件: —— 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Virtuoso下一步 1份文件引用(2022) 软件作者: Altreonic NV公司;克里杜,吉勒米纳;何塞·普伦萨;伯恩哈德·H·C·斯普特。;埃里克·弗赫斯特 相关软件: 普罗米拉;里奥;自旋蛋白 主要字段: 计算机科学(68-XX)
伍特 1份文件引用(2022) 软件作者: 盖拉尔德·奥斯特;帕斯卡·乌尔索;帕斯卡·莫利;阿卜杜萨马德·伊明 相关软件: Logoot;伍基;woot-haskell… 主要字段: 计算机科学(68-XX)