×

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

伊莎贝尔/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)…

MFIX-DEM公司

14篇文献引用(2015–2022)
软件作者: 拉胡尔·加格;珍妮·加尔文;李廷文;斯里坎斯·潘纳拉
相关软件: OpenFOAM;车灯;发光…
主要字段:

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

自动发电机

6篇文献引用(2005–2022)
软件作者: 克里斯托夫·穆代克
相关软件: 快速检查;Pex;路特斯…
主要字段:

克拉托斯

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…
主要字段:

安娜

8份文件引用(1986年至2007年)
软件作者: 大卫·勒克姆
相关软件: 阿达95;火花;规范#…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

j承包商

9份文件引用(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

幼虫

8份文件引用(2012–2022)
软件作者: 科伦坡C、佩斯GJ、施耐德G
相关软件: 员工宿舍;LOLA;Java-MOP…
主要字段: 计算机科学(68-XX)

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

CD光盘++

8份文件引用(2002–2010)
软件作者: 加布里埃尔·韦纳
相关软件:
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-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)

SAT竞赛

6篇文献引用(2009–2017)
软件作者: Hans van Maaren;法兰柯
相关软件: MiniSat;萨齐拉;SMAC…
主要字段: 计算机科学(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)

DisCo公司

7份文件引用(1998–2006)
软件作者: 蒂莫·阿尔顿;卡塔拉,米卡;里斯托·皮卡宁
相关软件: PVS;方面J;Ocsid…
主要字段: 计算机科学(68-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)

工艺品

4份文件引用(2011–2022)
软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫
相关软件: VipTool;基因;石化…
主要字段:

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)

筛选结果依据…

全部的 前5名

相关软件