×

找到235个软件包(结果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)…

PVS公司

617文件引用(1993–2023)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

毫升

516份文件引用(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

NuSMV公司

279篇文献引用(1999年-2023年)
软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover
相关软件: 自旋蛋白;CUDD;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HOL灯

319份文件引用(1998年至2024年)
软件作者: 约翰·哈里森
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

ACL2型

287份文件引用(1998–2023)
软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
相关软件: Coq;Isabelle/HOL;PVS…
主要字段: (03B35-XX);(68Q60-XX);(68T15-XX)

联合

183份文件引用(1988–2021)
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
相关软件: NQTHM;PVS;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-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)…

Java PathFinder

95篇文献引用(2000–2023)
软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

PPL(公私合营)

108篇文献引用(2002–2023)
软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。
相关软件: 高科技;停机坪;ASTREE…
主要字段: (68U05-XX);(52B11-XX);(68N30-XX)

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: Isabelle/HOL;Coq;伊莎贝尔…
主要字段:

数学SAT5

80篇文献引用(2013年-2023年)
软件作者: 亚历山德罗·西马蒂;阿尔贝托·格里乔;Schaafsma、Bastiaan Joost;罗伯托·塞巴斯蒂亚尼
相关软件: z3;CVC4;Yices…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

第三方程序

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;乍得·E·布朗。
相关软件: TPTP;ETPS;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

Reluplex公司

71篇文献引用(2017–2024)
软件作者: Guy Katz、Clark Barrett、David Dill、Kyle Julian、Mykel Kochenderfer
相关软件: AI2;NNV;ImageNet…
主要字段:

伊莎贝尔/采埃孚

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

数学SAT

59篇文献引用(2005–2023)
软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼
相关软件: z3;伊塞斯;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

CompCert公司

58篇文献引用(2009–2023)
软件作者: X·勒罗伊。
相关软件: Coq;Isabelle/HOL;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

沟槽

48篇文献引用(2004–2023)
软件作者: Kastenberg,H.,Rensink,A。
相关软件: AGG;自旋蛋白;GrGen…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

PolyBoRi公司

50篇文献引用(2008–2023)
软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦
相关软件: 单一;SageMath;岩浆…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

基础知识

43篇文献引用(2011–2023)
软件作者: 罗伯特·布雷顿;阿兰·米什琴科
相关软件: MiniSat;z3;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

WSAT公司

29篇文献引用(2004–2019)
软件作者: 傅湘;布尔坦、特夫菲克;苏建文
相关软件: BPEL2PN;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

CORA公司

35篇文献引用(2016–2023)
软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper)
相关软件: 流量*;SpaceEx;C2e2…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

STeP公司

33篇文献引用(1997–2015)
软件作者: N.Bjørner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
相关软件: PVS;自旋蛋白;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-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)…

qGCL公司

25篇文献引用(2000–2024)
软件作者: 保罗·祖利亚尼
相关软件: QPL;质量管理清单;Quipper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段:

马亚

23篇文献引用(2002–2015)
软件作者: Dieter Hutter;谢尔盖·奥特西尔
相关软件: CASL;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

MOPS公司

15篇文献引用(2003–2019)
软件作者: Chen,H.、Wagner,D。
相关软件: SLAM;爆炸;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

常春藤

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

显示

22篇文献引用(1993–2021)
软件作者: Andraus,Zaher S。;Mark H.Liffiton。;卡里姆·A·萨卡拉。
相关软件: MiniSat;MUSer2;HMQV…
主要字段: (68Q60-XX);(68T15-XX)

MARTE公司

10篇文献引用(2009–2017)
软件作者: 对象管理集团。
相关软件: SysML;Uppaal;旋转…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

拉瓦

20篇文献引用(2011–2023)
软件作者: 玛格努斯·奥·米林(Magnus O.Myreen)。;贾里德·戴维斯
相关软件: 吉塔瓦;HOL;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

税收

15篇文献引用(2001–2017)
软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特
相关软件: Uppaal;克罗诺斯;埃菲尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

FoCs公司

17篇文献引用(2000–2018)
软件作者: 亚埃尔阿巴内尔;啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线
相关软件: LTL2BA;HOL;旋转…
主要字段: (68U99-XX);(68Q60-XX);(68M07-XX)

SCEL公司

17篇文献引用(2014–2023)
软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂奇、安德烈·范丁
相关软件: 科莱姆;莫德;PALOMA…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

检查围栏

18篇文献引用(2007–2018)
软件作者: Burckhardt,S.,Alur,R.,Martin,M.K。
相关软件: veriSoft;自旋蛋白;UMM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

捕食者

15篇文献引用(2012–2021)
软件作者: 卡米尔·杜德卡;彼得·米勒;彼得·佩林格(Petr Peringer);汤姆·沃纳
相关软件: CPA检查员;CBMC;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

可控硅

10篇文献引用(2000–2018)
软件作者: 伊曼·布尔吉巴;贝莱德Moa
相关软件: 自旋蛋白;NuSMV;PVS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

无级变速器

18篇文献引用(1998–2021)
软件作者: 普努利,A。;Shtrickman,O。;西格尔,M。
相关软件: TVOC;CVC;系统C…
主要字段: (68U99-XX);(68N20-XX)

可视信息系统

10篇文献引用(2005–2015)
软件作者: Brayton,R.K.等人。
相关软件: NuSMV;自旋蛋白;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

飞天螳螂

14篇文献引用(2009–2017)
软件作者: 克雷默斯,C。
相关软件: AVISPA;阿克斯;塔马林…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

沃尔夫拉姆

16篇文献引用(2010–2022)
软件作者: 安德烈·苏尔弗洛
相关软件: R;伊塞斯;KLEE…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

岛国

9份文件引用(2006–2016)
软件作者: 马克·埃斯特瓦(Marc Esteva)、大卫·德·拉克鲁斯(David de la Cruz)、卡尔斯·塞拉(Carles Sierra)
相关软件: 社会可视化者;杰森;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

LTSA-WS公司

12份文件引用(2006–2021)
软件作者: Magee J、Kramer J、Uchitel S等
相关软件: WSAT;NuSMV;不明飞行物…
主要字段: 计算机科学(68-XX)

Exp.未结

12份文件引用(2006–2023)
软件作者: 弗雷德里克·朗
相关软件: CADP;CAESAR_SOLVE公司;M-TREE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

伊莎贝尔/马戏团

12份文件引用(2013-2017)
软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff
相关软件: Isabelle/HOL;电源保护;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

熔岩

11份文件引用(2002–2018)
软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。
相关软件: 哈斯克尔;muFP;Coquet…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

Oink公司

13份文件引用(2018–2022)
软件作者: T·迪克。
相关软件: PGSolver;条纹;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

生锈带

13份文件引用(2018–2022)
软件作者: Jung,R.、Jourdan,J.H.、Krebbers,R.、Dreyer,D。
相关软件: 锈蚀;Coq;工具链…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

网络服务提供商

9份文件引用(2008–2018)
软件作者: 科马克·弗拉纳根(Cormac Flanagan);帕特丽斯·戈德弗里德
相关软件: KLEE公司;自旋蛋白;veriSoft…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

西尔文

11份文件引用(2020–2023)
软件作者: van Dijk,T。;范德波尔,J。
相关软件: LTSmin公司;棱镜;BuDDy…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

第3章

10篇文献引用(2010–2020)
软件作者: 弗朗西斯科·杜兰;何塞·梅塞盖尔
相关软件: 莫德;CRC 3;MTT…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

爪哇-MaC

11份文件引用(2003年至2021年)
软件作者: Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky
相关软件: JPAX;Java-MOP;哈哈…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

克拉托斯

10篇文献引用(2011–2022)
软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri
相关软件: 爆炸;系统C;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

安娜

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

CertiKOS公司

10篇文献引用(2017年至2022年)
软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。
相关软件: seL4;Coq;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

埃德蒙兹-卡普

10篇文献引用(2016–2022)
软件作者: 彼得·兰米奇(Peter Lammich);塞菲加·雷扎
相关软件: Isabelle/HOL;存档正式证据;Gabow SCC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

丽贝卡

8份文件引用(2010–2022)
软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔
相关软件: Uppaal;甲酚;定时丽贝卡…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Speedith公司

9份文件引用(2012–2019)
软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。
相关软件: 超防;伊莎贝尔;迪亚贝利…
主要字段:

VeriFun公司

10篇文献引用(2005–2017)
软件作者: 克里斯托夫·沃尔特;斯蒂芬·施韦策
相关软件: ACL2;哈斯克尔;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

KJS公司

9份文件引用(2015–2021)
软件作者: 格里戈·罗什u安德烈·特夫内斯库大峻公园
相关软件: K-Java;莫德;Coq…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

克莱纳代数

9份文件引用(2015–2022)
软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。
相关软件: 存档正式证据;Isabelle/HOL;大锤…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

LOTOSphere公司

6篇文献引用(2000年至2015年)
软件作者: T.Bolognesi、J.van de Lagemaat和C.Vissers
相关软件: LOTOS;并发工作台;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ModelPlex公司

7份文件引用(2016–2022)
软件作者: Mitsch,S.、Platzer,A。
相关软件: 凯伊迈拉;SpaceEx;Coq…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

P同步

9份文件引用(2016–2023)
软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米恩·祖弗里
相关软件: 威尔第;常春藤;ByMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TRX公司

8份文件引用(2010–2020)
软件作者: 亚当·科普罗夫斯基(Adam Koprowski);亨利·宾兹托克
相关软件: Coq;阿格达;HOL…
主要字段: 计算机科学(68-XX)

Verigraph公司

9份文件引用(2016–2023)
软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多
相关软件: AGG;同意;Henshin…
主要字段:

AEtnaNova公司

8份文件引用(2011–2018)
软件作者: Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz
相关软件: 裁判;SETL;米扎尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);复变量的函数(30-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)…

EVC公司

8份文件引用(2001–2012)
软件作者: 米罗斯拉夫·韦列夫(Miroslav N.Velev)。;Randal E.布莱恩特。
相关软件: Velev SAT基准;查夫;伯克敏…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…

F外壳

6篇文献引用(2010–2016)
软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思
相关软件: Java PathFinder;CPA检查员;RapiTime…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

斯托克Hy

8份文件引用(2019–2023)
软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate
相关软件: 棱镜;FAUST2;ProbReach…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

tK目标

6篇文献引用(2005–2008)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;克拉瓦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

真相/SLC

4份文件引用(2001年至2007年)
软件作者: Martin Leucker;诺尔,托马斯
相关软件: mCRL;CADP;PlayGame游戏
主要字段: (68U99-XX);(68Q60-XX);(68Q85-XX)

6篇文献引用(2007–2016)
软件作者: Yang Y、Gopalakrishnan G、Lindstrom G
相关软件: Coq;方格网;TSOTool…
主要字段: 计算机科学(68-XX)

UniForM公司

7份文件引用(1999–2011)
软件作者: Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer
相关软件: Uppaal;FranTk;GHC…
主要字段: 计算机科学(68-XX)

Z3str2型

7份文件引用(2017年-2023年)
软件作者: 郑云辉;维杰·加内什;Subramanian,萨努;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉
相关软件: 汉普;Z3str3;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ACTLW公司

6篇文献引用(2008年至2016年)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段:

基岩

6篇文献引用(2017年至2022年)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CLPS-B型

2份文件引用(2002–2009)
软件作者: 花束、织物;布鲁诺,传奇;法比安·佩鲁克斯
相关软件: ProB;jbtools;罗丹…
主要字段: 计算机科学(68-XX)

DisCo公司

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

PREVAIL公司

5份文件引用(1992–2014)
软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆
相关软件: Nuprl;CoqMTU;Coquet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

裁判

7份文件引用(2013–2018)
软件作者: Eugenio G.Omodeo;多梅尼科·坎通纳;阿尔贝托·波利克里蒂;雅各布·T·施瓦茨
相关软件: AEtnaNova;SETL;米扎尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

增值税

7份文件引用(2012–2019)
软件作者: Lengál,安大略省;Šimáček,吉里伊;汤姆·沃纳
相关软件: MTBDD;MONA;幻灯片…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

BDDNOW公司

6篇文献引用(2000–2011)
软件作者: Kim Milvang Jensen、Alan J.Hu
相关软件: Gprof;Sycraft;CUDD…
主要字段: 计算机科学(68-XX)

拉尔夫

6篇文献引用(1997–2014)
软件作者: 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特
相关软件: RALL;RelView;Isabelle/HOL…
主要字段:

重新校准

6篇文献引用(2011–2022)
软件作者: Farn Wang公司
相关软件: 克罗诺斯;Uppaal;CMC…
主要字段: 计算机科学(68-XX)

岩盐矿

6篇文献引用(2015–2021)
软件作者: 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。
相关软件: Coq;GDSL;CompCertS…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

RT-ASLAN公司

引用于3份文件(1994–2002)
软件作者: 奥尔海默B,凯默R A。
相关软件: 酯类;阿达95;ASTRAL公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Z2sal公司

5份文件引用(2008年至2012年)
软件作者: J Derrick,S North,A J H Simons公司
相关软件: 自旋蛋白;Z;Z/EVES…
主要字段:

kP工作台

5份文件引用(2015年-2023年)
软件作者: Gheorghe,M.、Ipate,F.、Mierla,L.、Konur,S。
相关软件: 自旋蛋白;NuSMV;莫德…
主要字段: 计算机科学(68-XX)

懒惰的CSeq

4份文件引用(2015–2018)
软件作者: 弗拉基米尔·赫特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒
相关软件: CBMC;Cseq;MU CSeq…
主要字段: 计算机科学(68-XX)

LusSy公司

引用于3份文件(2007–2013)
软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。
相关软件: 系统C;卡拉托斯;veriSoft…
主要字段: 计算机科学(68-XX)

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克
相关软件: 奶牛;MoDeST;科莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

莫塞尔

4份文件引用(1998–2018)
软件作者: P.Kelb、T.Margaria、M.Mendler、C.Gsottberger
相关软件: MONA;EMBOSS;ATV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

平均无故障时间

5份文件引用(2012–2019)
软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳
相关软件: 增值税;MONA;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件