伊莎贝尔/HOL 1068年文献引用(1996年至2024年) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
伊莎贝尔 734份文件中引用(1990–2023) 软件作者: 拉里·保尔森、托比亚斯·尼普科夫、马卡里乌斯·温泽尔 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
米扎尔 引用于531份文件(1983–2023) 软件作者: Grzegorz Bancerek公司;茨瓦夫·拜林斯基;亚当·格拉博夫斯基(Adam Grabowski);阿图尔·科尼洛维奇;罗伯特·米列夫斯基(Robert Milewski);亚当·诺莫维奇(Adam Naumowicz);Andrzej Trybulec;约瑟夫·乌尔班 相关软件: Coq;Isabelle/HOL;HOL灯… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
SLAM公司 127篇文献引用(2001–2023) 软件作者: 托马斯·鲍尔(Thomas Ball);Rajamani,Sriram K。 相关软件: 爆炸;自旋蛋白;班德拉… 主要字段: (68U99-XX);(68Q60-XX)
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
爆炸 111篇文献引用(2003–2022) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷 相关软件: SLAM;CPA检查员;CBMC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
PPL(公私合营) 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: (68U05-XX);(52B11-XX);(68N30-XX)
CBMC公司 86篇文献引用(2004–2023) 软件作者: Clarke E、Kroening D、Lerda F 相关软件: 爆炸;MiniSat;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
摩卡 85篇文献引用(1999年-2023年) 软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。 相关软件: MCMAS;棱镜;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
第三方程序 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
凯伊 55份文件引用(2000–2023) 软件作者: http://www.key-project.org/people.html 相关软件: JML;电子稳定控制系统/Java;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
CPA检查器 45篇文献引用(2011–2023) 软件作者: 德克·拜尔、斯特凡·洛韦、菲利普·温德勒 相关软件: 爆炸;CBMC;SLAM… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
Frama-C公司 43篇文献引用(2009–2023) 软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件: Coq;Why3;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 相关软件: 单一;SageMath;岩浆… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…
nuXmv(数字) 44篇文献引用(2015年-2023年) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
卫星抗体 35篇文献引用(2005–2020) 软件作者: Clarke,E.,Kroning,D.,Sharygina,N.,Yorav,K。 相关软件: 爆炸;SLAM;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
清爽 35篇文献引用(1994–2023) 软件作者: M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件: 玛丽;CPN/工具;日晷… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)…
魔法 39篇文献引用(2003–2020) 软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思 相关软件: ComFoRT;班德拉;旋转… 主要字段: (68Q60-XX);(68Q85-XX);(91A80-XX)…
茂物 27篇文献引用(2003–2014) 软件作者: 马修·B·德怀尔。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
CORA公司 35篇文献引用(2016–2023) 软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper) 相关软件: 流量*;SpaceEx;C2e2… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
模仿者 34份文件引用(1996年-2023年) 软件作者: 埃蒂安·安德烈 相关软件: Uppaal;高科技;PPL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
SeaHorn公司 36篇文献引用(2015年-2023年) 软件作者: Gurfinkel,A.、Kahsai,T.、Komuravelli,A.、Navas,J.A。 相关软件: z3;垫片;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
NetKAT公司 33篇文献引用(2014–2023) 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 相关软件: VeriFlow;狂热;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者: 安德烈亚斯·波德尔斯基(Andreas Podelski)、安德烈·里巴尔琴科(Andrey Rybalchenko) 相关软件: SLAM;跟踪器;匕首… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
凸面.jl 27篇文献引用(2015年-2023年) 软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件: CVX;CVXPY;朱莉娅… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
VERSOFT公司 29篇文献引用(2009–2023) 软件作者: 吉里·罗恩 相关软件: 国际实验室;mctoolbox;mftoolx… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
不明飞行物 22篇文献引用(2012–2022) 软件作者: Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件: CPA检查员;z3;爆炸… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
马亚 23篇文献引用(2002–2015) 软件作者: Dieter Hutter;谢尔盖·奥特西尔 相关软件: CASL;米扎尔;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 系统论;控制(93-XX)
UCLID公司 24篇文献引用(2002–2020) 软件作者: Randal E.Bryant;Shuvendu K.Lahiri;桑吉特·塞希亚 相关软件: 查夫;PVS;MiniSat… 主要字段: –
Lambda-Clam公司 24篇文献引用(1997–2012) 软件作者: J.Richardson、A.Smaill、I.Green 相关软件: IsaPlanner;Nuprl;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
NNV公司 23篇文献引用(2021–2024) 软件作者: Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件: Reluplex;AI2;科拉… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MOPS公司 15篇文献引用(2003–2019) 软件作者: Chen,H.、Wagner,D。 相关软件: SLAM;爆炸;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
加帕 21篇文献引用(2009–2023) 软件作者: 纪尧姆·梅尔金德 相关软件: Coq;z3;ASTREE… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);偏微分方程(35-XX)…
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
斯卡德 14篇文献引用(2001–2019) 软件作者: 杰拉德·贝里;Esterel技术公司 相关软件: Simulink;卢斯特;酯类… 主要字段: (93A30-XX);(93C83-XX);(93A13-XX)
虚拟UML 10篇文献引用(2001年至2015年) 软件作者: 利利乌斯,J。;帕尔托,I.P。 相关软件: 自旋蛋白;沟槽;班德拉… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
捕食者 15篇文献引用(2012–2021) 软件作者: 卡米尔·杜德卡;彼得·米勒;彼得·佩林格(Petr Peringer);汤姆·沃纳 相关软件: CPA检查员;CBMC;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德Moa 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
暂停 17篇文献引用(1980–2021) 软件作者: 威廉·库拉托(William G.Kurator)。;理查德·奥尼尔。 相关软件: 古罗比;SCS;CVXPY… 主要字段: 偏微分方程(35-XX);流形和细胞复合体(57-XX);数值分析(65-XX)…
智能手机 14篇文献引用(2008–2014) 软件作者: 叶卡捷琳娜·奥尔;沃尔夫拉姆·路德 相关软件: ValEncIA-IVP;FADBAD++;ValEncIA… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者: 安德烈·苏尔弗洛 相关软件: R;伊塞斯;KLEE… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
YASM公司 15篇文献引用(2006–2023) 软件作者: Arie Gurfinkel、Ou Wei、Marsha Chechik 相关软件: SLAM;爆炸;CUDD… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CAESAR_解决 11份文件引用(2006–2022) 软件作者: 拉杜·马蒂埃斯库 相关软件: CADP;到期未结;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
CSIsat卫星 14篇文献引用(2009-2016年) 软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔 相关软件: FOCI;公主;金刚狼… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
MUSer2系列 15篇文献引用(2013年-2023年) 软件作者: 安东·贝洛夫(Anton Belov);若昂·西尔瓦侯爵 相关软件: MiniSat;sharpSAT;显示… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
YOGI公司 13份文件引用(2010–2022) 软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur 相关软件: z3;投掷;可爱… 主要字段: –
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
VeriMAP公司 13份文件引用(2015–2022) 软件作者: De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件: z3;跟踪器;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
伽利略 10篇文献引用(2000–2017) 软件作者: Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件: NuSMV;DFTCalc;DIFtree… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
高铁 11份文件引用(2012–2021) 软件作者: Grebenshchikov,S.、Gupta,A.、Lopes,N.P.、Popeea,C.、Rybalchenko,A。 相关软件: z3;CiaoPP;再见… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
薄片 10篇文献引用(2016–2022) 软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。 相关软件: CBMC;z3;SeaHorn… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
VerCors公司 12份文件引用(2014–2023) 软件作者: 阿米吉,阿夫申;斯特凡·布洛姆;Saeed Darabi;赫斯曼(Marieke Huisman);沃伊切赫·莫斯托夫斯基;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 相关软件: 蝰蛇;布吉;Dafny… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
算法916 10篇文献引用(2011–2024) 软件作者: Mofreh R.Zaghloul。;艾哈迈德·阿里。 相关软件: 法迪耶娃;Matlab;算法680… 主要字段: 复变量函数(30-XX);特殊功能(33-XX);近似和展开(41-XX)…
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RealCertify公司 10篇文献引用(2018–2023) 软件作者: Victor Magron,Mohab Safey El Din 相关软件: TSSOS;塞杜米;Mosek… 主要字段: –
LOTOSphere公司 6篇文献引用(2000年至2015年) 软件作者: T.Bolognesi、J.van de Lagemaat和C.Vissers 相关软件: LOTOS;并发工作台;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
终极Automizer 8份文件引用(2015–2022) 软件作者: 马提亚斯·海兹曼;耶尔根基督;丹尼尔·迪特施(Daniel Dietsch);埃夫伦·埃尔米斯(Evren Ermis);Jochen Hoenicke;马库斯·林登曼;亚历山大·纳茨(Alexander Nutz);席林(Christian Schilling);安德烈亚斯·波德尔斯基 相关软件: SMT互联网;CBMC;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Verigraph公司 9份文件引用(2016–2023) 软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多 相关软件: AGG;同意;Henshin… 主要字段: –
VIPR公司 8份文件引用(2017年-2023年) 软件作者: Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件: SCIP;MIPLIB公司;DRAT-饰件… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
加州大学洛杉矶分校 8份文件引用(2013–2019) 软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。 相关软件: dReal;z3;dReach… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
CITP公司 8份文件引用(2013年-2023年) 软件作者: 戈因纳,丹尼尔;张敏;千叶,Yuki;有本,安仁 相关软件: 莫德;OBJ咖啡馆;保监会… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ESBMC公司 4份文件引用(2014年至2020年) 软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;科代罗,卢卡斯;杰里米·莫尔斯(Jeremy Morse);妮可,丹尼斯;伯恩德·菲舍尔 相关软件: CBMC;LLBMC;爆炸… 主要字段: –
电动汽车 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
F外壳 6篇文献引用(2010–2016) 软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思 相关软件: Java PathFinder;CPA检查员;RapiTime… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
OpenJML(打开JML) 6篇文献引用(2011–2022) 软件作者: 大卫·R·科克 相关软件: Why3;凯伊;VeriFast… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
佩里普洛 8份文件引用(2013–2022) 软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜 相关软件: eVolCheck;FunFrog;OpenSMT2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯托克Hy 8份文件引用(2019–2023) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;ProbReach… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
真相/SLC 4份文件引用(2001年至2007年) 软件作者: Martin Leucker;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: (68U99-XX);(68Q60-XX);(68Q85-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特;约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
扎普 6篇文献引用(2005–2008) 软件作者: 托马斯·鲍尔、舒文杜·拉希里和穆苏瓦蒂夫人 相关软件: 电子稳定控制系统/Java;规范#;简单… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
ASPIER公司 6篇文献引用(2011–2023) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;EasyCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
电子音量检查 7份文件引用(2013–2022) 软件作者: 格里戈里·费德尤科维奇;Ondrej Sery;娜塔莎·莎莉吉娜 相关软件: 佩里普洛;FunFrog公司;SymDiff… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
皮尔斯纳 7份文件引用(2015–2021) 软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯 相关软件: Coq;CakeML;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
BtorMC公司 6篇文献引用(2020–2022) 软件作者: Niemetz,A。;普雷纳,M。;沃尔夫,C。;Biere,A。;节流阀,H。;G·威森巴赫 相关软件: Boolector;尤瑟斯;CoSA… 主要字段: 计算机科学(68-XX)
FunFrog公司 5份文件引用(2013–2019) 软件作者: Ondrej Sery;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 相关软件: eVolCheck;佩里普洛;OpenSMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HASL公司 6篇文献引用(1986–2016) 软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。 相关软件: COSMOS;Uppaal;棱镜… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
岩盐矿 6篇文献引用(2015–2021) 软件作者: 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。 相关软件: Coq;GDSL;CompCertS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
StEAM公司 引用于3份文件(2004–2011) 软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普 相关软件: 自旋蛋白;卫星抗体;Zing… 主要字段: 计算机科学(68-XX)
BLAZE(黑色) 5份文件引用(2020–2022) 软件作者: 阿尔卡德里、纳比勒·阿尔凯拉尼;拉希德·班萨卡尼;约翰内斯·布赫曼 相关软件: – 主要字段: 计算机科学(68-XX);量子理论(81-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
查理 引用于3份文件(2015–2018) 软件作者: 莫尼卡·海纳;马丁·施瓦里克;詹·蒂埃里·韦格纳 相关软件: 清爽;玛丽;蛇… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
意大利烟草协会 5份文件引用(2011–2015) 软件作者: Cámara,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni先生。;运河,C。;皮门特尔,E。 相关软件: 莫德;LTSA-WS;WSAT… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
茉莉花 4份文件引用(2019–2022) 软件作者: 何塞·巴塞拉·阿尔梅达(JoséBacelar Almeida)、曼努埃尔·巴博萨(Manuel Barbosa)、吉尔斯·巴特(Gilles Barthe)、阿瑟·布洛特(Arthur Blot)、本杰明·格雷戈里(Benjamin Grégoire)、文森特·拉波特(Vincent Laporte)、蒂亚戈·奥利维拉(Tiago Oli 相关软件: HACL*;EasyCrypt;曲线25519… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)