×

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

伊莎贝尔/霍尔

软件作者:纳拉舍夫斯基,沃尔夫冈;尼普科,托比亚斯
参考文献: 972份出版物(1996-2023年)
相关软件: 伊莎贝尔;成本;霍尔;归档正式证据;PVS公司;霍尔灯…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)

旋转

软件作者:贝尔实验室
参考文献: 591份出版物(1990-2022年)
相关软件: 努西姆;乌帕;班德拉;Java探路者;贝博普;塞萨尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

伊莎贝尔

软件作者:拉里·保尔森、托比亚斯·尼普科、马卡里乌斯·温泽尔
参考文献: 701份出版物(1990-2022)
相关软件: 伊莎贝尔/霍尔;霍尔;成本;PVS公司;毫升;存档正式证据…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

PVS公司

软件作者:Sam Owre,Natarajan Shankar,约翰·拉什比
参考文献: 603份出版物(1993-2022)
相关软件: 成本;伊莎贝尔/霍尔;霍尔;伊莎贝尔;Nuprl公司;ACL2…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

毫升

软件作者:哈珀,罗伯特;米尔纳,罗宾;太妃糖,玛兹;爱丁堡大学
参考文献: 484种出版物(1978-2021)
相关软件: 霍尔;成本;伊莎贝尔;伊莎贝尔/霍尔;哈斯克尔;霍尔灯…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);概率论与随机过程(60-XX)

努西姆

软件作者:亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,福斯托;罗维里,马可;罗伯托·卡瓦达、米歇尔·多里加蒂、亚历山德罗·马里奥蒂、安德里亚·米凯利、塞尔吉奥·莫弗、马可·罗韦里、安德烈·查尔采夫
参考文献: 264种出版物(1999-2021)
相关软件: 旋转;乌帕;卡德;糠;棱镜;班德拉…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

霍尔灯

软件作者:哈里森,约翰
参考文献: 305份出版物(1998-2022)
相关软件: 成本;伊莎贝尔/霍尔;霍尔;伊莎贝尔;后桅;毫升…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数论(11-XX)

ACL2

软件作者:马特·考夫曼,斯特罗瑟·摩尔
参考文献: 276种出版物(1998-2022年)
相关软件: 成本;伊莎贝尔/霍尔;PVS公司;霍尔;伊莎贝尔;霍尔灯…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);代数拓扑学(55-XX)

团结

软件作者:K。曼尼·钱迪;贾亚德夫·米斯拉
参考文献: 173种出版物(1988年至2021年)
相关软件: 数量;PVS公司;霍尔;旋转;落叶松;罗丹…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

ETPS公司

软件作者:彼得·安德鲁斯、马修·毕肖普、查德·E·布朗、苏尼尔·伊萨尔、丹·奈斯密斯、弗兰克·芬宁、西宏伟
参考文献: 156种出版物(1986-2022)
相关软件: 测试程序集;伊莎贝尔/霍尔;霍尔;伊莎贝尔;Nuprl公司;霍尔灯…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

Java探路者

软件作者:哈维伦德,克劳斯;Pressburger,托马斯
参考文献: 92种出版物(2000-2021年)
相关软件: 旋转;班德拉;veriSoft公司;可爱的;投掷;dSPIN…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

PPL公司

软件作者:巴格纳,罗伯托;Ricci,Elisa;扎法内拉,埃尼亚;希尔,帕特里夏·M。
参考文献: 99种出版物(2002-2021年)
相关软件: 海因奇;停机坪;阿斯特里;乌帕;法弗;多段线…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);计算机科学(68-XX)

塞尔4

软件作者: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。
参考文献: 84种出版物(2009-2022)
相关软件: 伊莎贝尔/霍尔;成本;伊莎贝尔;霍尔;霍尔灯;开普勒98…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

测试程序集

软件作者:安德鲁斯,彼得B。;布朗,查德·E。
参考文献: 75种出版物(1990-2022)
相关软件: TPTP;ETPS;霍尔;利奥二世;PVS公司;Nuprl…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

钥匙

软件作者:  http://www.key-project.org/people.html
参考文献: 51种出版物(2000-2021)
相关软件: JML公司;ESC/Java;喀拉喀托;布吉;规格;PVS…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)

伊莎贝尔/采埃孚

软件作者:劳伦斯·C·保尔森
参考文献: 63种出版物(1993-2021)
相关软件: 伊莎贝尔;成本;伊莎贝尔/霍尔;霍尔;后桅;毫升…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);代数拓扑学(55-XX)

数学5

软件作者:亚历山德罗·西马蒂;格里吉奥,阿尔伯托;沙夫斯玛,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
参考文献: 61种出版物(2013-2022)
相关软件: z3;CVC4;是的;SMT-LIB;思密特酚;迷你卫星…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

数学卫星

软件作者:罗伯托·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰泽、阿尔贝托·格里吉奥、罗伯托·塞巴斯蒂亚尼
参考文献: 56种出版物(2005-2022)
相关软件: z3;是的;迷你卫星;SMT-LIB;希萨特;扯淡…
主要领域: 数理逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)

公司证书

软件作者:勒罗伊,X。
参考文献: 50种出版物(2009-2022)
相关软件: 成本;伊莎贝尔/霍尔;z3;卡格默尔;克米诺;伊莎贝尔…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)

沟槽

软件作者:卡斯滕伯格,H.,伦辛克,A。
参考文献: 42种出版物(2004-2020)
相关软件: 聚合;旋转;检查VML;格兰根;茂物;进展…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

聚硼

软件作者:亚历山大·德雷耶;迈克尔·布里肯斯坦
参考文献: 48种出版物(2008-2021)
相关软件: 单数;岩浆;FGb公司;圣哲数学;卡德;迷你卫星…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);交换代数(13-XX)

基础知识

软件作者:罗伯特·布莱顿;阿兰·米什琴科
参考文献: 35种出版物(2011-2021)
相关软件: 迷你卫星;z3;艾格;缅甸中央银行;卡德;努西姆…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

WSAT公司

软件作者:福、香;布尔坦、特夫菲克;苏建文
参考文献: 29种出版物(2004-2019)
相关软件: BPEL2PN;CADP;旋转;LTSA-WS;mCRL2;沃夫兰…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

台阶

软件作者:N。比约纳、I.A.布朗、E.Chang、M.Colón、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
参考文献: 33种出版物(1997-2015)
相关软件: PVS公司;旋转;乌帕;克洛诺斯;海因奇;Java探路者…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

Reluplex公司

软件作者:盖伊·卡茨,克拉克·巴雷特,大卫·迪尔,凯尔·朱利安,米克尔·科琴德弗
参考文献: 27种出版物(2017-2021)
相关软件: AI2型;亚当;马拉博;MNIST公司;傻瓜;NNV…
主要领域: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)

Cadence SMV公司

软件作者:麦克米兰K L。
参考文献: 22种出版物(2000-2018)
相关软件: 努西姆;旋转;斑点;LTL2BA;可见光;塞萨尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

玛雅

软件作者:赫特,迪特;Autexier,谢尔盖
参考文献: 23种出版物(2002-2015)
相关软件: CASL公司;后桅;伊莎贝尔;OMDoc公司;TPTP;PVS…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);计算机科学(68-XX)

qGCL公司

软件作者:祖利亚尼,保罗
参考文献: 23种出版物(2000-2021)
相关软件: QPL;调皮工;ScaffCC公司;雅拉;混合的;因为…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

奈特凯特

软件作者:安德森,C.J.,福斯特,N.,古哈,A.,杰宁,J.-B。,Kozen,D.,Schlesinger,C.,Walker,D。
参考文献: 25种出版物(2014-2021)
相关软件: 狂热的;验证流;VeriCon公司;规则集;成本;荨麻…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);结合环与代数(16-XX)

拖把

软件作者:陈,H.,瓦格纳,D。
参考文献: 15种出版物(2003-2019)
相关软件: 猛击;爆破;旋转;贝博普;CIL公司;简化…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

揭示

软件作者:安德鲁斯,扎赫尔S。;利菲顿,马克H。;萨卡拉,卡雷姆A。
参考文献: 22种出版物(1993-2021)
相关软件: 迷你卫星;博物馆2;HMQV;帕拉库巴;亲吻;卡迪奇…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

马蒂

软件作者:对象管理集团公司。
参考文献: 10种出版物(2009-2017)
相关软件: 系统建模语言;乌帕;旋转;Matlab语言;蒂娜;Simulink…
主要领域: 计算机科学(68-XX);系统论;对照组(93-XX);信息与通信理论,电路(94-XX)

税收

软件作者:克罗斯,艾蒂安;波伊兹,米歇尔;普劳,雅克;斯法基斯,约瑟夫;文特尔,帕特里克
参考文献: 15种出版物(2001-2017)
相关软件: 乌帕;克洛诺斯;埃菲尔;乌帕阿尔2K;埃斯特雷尔;Modelica…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

FoCs公司

软件作者:阿巴巴内尔,耶尔;啤酒,伊兰;鲁霍夫斯基,列奥尼德;凯达尔,莎伦;沃尔夫斯塔尔,亚龙
参考文献: 17种出版物(2000-2018)
相关软件: LTL2BA;霍尔;旋转;副驾驶;日元;安特尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

拉瓦

软件作者:梅林,马格努斯O。;戴维斯,贾里德
参考文献: 19种出版物(2011-2020)
相关软件: 霍尔;吉川;成本;霍尔灯;伊莎贝尔/霍尔;卡凯尔…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

栅栏

软件作者:Burckhardt,S.,Alur,R.,Martin,M.K。
参考文献: 18种出版物(2007-2018)
相关软件: veriSoft公司;旋转;嗯;缅甸中央银行;爪哇格兰德;反链…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

偿付能力资本要求

软件作者:伊门布尔吉巴;摩阿,贝拉德
参考文献: 10种出版物(2000-2018)
相关软件: 旋转;努西姆;阴霾;阿萨德;PVS公司;梅花…
主要领域: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

捕食者

软件作者:杜德卡,卡米尔;米勒,彼得;佩林格,彼得;沃伊纳尔,汤姆š
参考文献: 14种出版物(2012-2021)
相关软件: 注册会计师;缅甸中央银行;幻灯片;爆破;推断;z3…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

SCEL公司

软件作者:洛克·德尼古拉,迭戈·拉特拉。阿尔贝托·卢克·拉富恩特、米歇尔·洛雷蒂、安德烈·马尔赫里、米克·马辛克、安德烈·莫里切塔、罗萨里奥·普格利泽、弗朗切斯科·蒂齐、安德烈·范丁
参考文献: 15种出版物(2014-2021)
相关软件: 克莱姆;莫德;帕洛玛;琳达;卡玛;权杖…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

无级变速器

软件作者:普努埃利,A。;希特里曼,O。;西格尔,M。
参考文献: 17种出版物(1998-2021)
相关软件: TVOC;CVC公司;系统C;集成电路;循环的;克雷尔维姆…
主要领域: 数理逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)

视觉

软件作者:布莱顿,R.K.等人。
参考文献: 10种出版物(2005-2015)
相关软件: 努西姆;旋转;海因奇;LTL2BA;斑点;塞萨尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

科拉

软件作者:Matthias Althoff,Niklas Kochdumper公司
参考文献: 15种出版物(2016-2022)
相关软件: SpaceEx公司;HYST公司;C2e2;海因奇;法弗;MPT…
主要领域: 常微分方程组(34-XX);凸与离散几何(52-XX);计算机科学(68-XX)

飞天螳螂

软件作者:克雷默斯,C。
参考文献: 14种出版物(2009-2017)
相关软件: 阿维斯帕;阿基斯;罗望子;卡斯珀;会议主席;阿普特…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

软件作者:Sülflow,安德烈
参考文献: 16种出版物(2010-2022)
相关软件: R;克莱;z3;是的;Daikon公司;SMT-LIB…
主要领域: 一般性和全局性主题;收款(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

岛民

软件作者:马克·埃斯特瓦、大卫·德拉克鲁兹、卡尔斯·塞拉
参考文献: 9种出版物(2006-2016)
相关软件: 社会观察家;杰森;努西姆;Moise+;CCalc公司;2APL…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

LTSA-WS

软件作者:Magee J、Kramer J、Uchitel S等
参考文献: 11种出版物(2006-2021)
相关软件: WSAT;努西姆;乌帕;洛拉;奶牛;伊塔卡…
主要领域: 计算机科学(68-XX)

伊莎贝尔/马戏团

软件作者:阿布德拉赫曼·费利阿奇、玛丽·克劳德·高德尔、伯克哈特·沃尔夫
参考文献: 12种出版物(2013-2017)
相关软件: 伊莎贝尔/霍尔;证明力;伊莎贝尔;马戏团;大锤;伊莎贝尔/UTP…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

熔岩

软件作者:比塞,P.,克莱森,K.,希兰,M.,辛格,S。
参考文献: 11种出版物(2002-2018)
相关软件: 哈斯克尔;muFP;花束;成本;长石;库达…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

网络服务提供商

软件作者:科马克弗拉纳根;帕特里斯·戈德弗里德
参考文献: 9种出版物(2008-2018)
相关软件: 克莱;旋转;veriSoft公司;SpecExplorer;竞赛;班德拉…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

ChC 3

软件作者:杜兰,旧金山;梅斯盖尔,何塞
参考文献: 10种出版物(2010-2020)
相关软件: 莫德;CRC 3;阿尼玛;网络TLR;MTT法;朱丽安…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

Exp.打开

软件作者:弗里德里克·朗
参考文献: 10种出版物(2006-2021)
相关软件: CADP;凯撒解决方案;旋转;E-LOTOS;LNT2LOTOS公司;凯撒…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

常春藤

软件作者:麦克米兰,K.L.,帕顿,O。
参考文献: 10种出版物(2017-2021)
相关软件: 常春藤;z3;纽克斯梅夫;威尔第;达夫尼;谷歌测试…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

Java MaC电脑

软件作者:Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky
参考文献: 11种出版物(2003-2021)
相关软件: 日元;爪哇拖把;副驾驶;跨方面;电动车辆;AspectWerkz…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

安娜

软件作者:卢卡姆,大卫
参考文献: 8种出版物(1986-2007)
相关软件: Ada95型;规格;JML公司;埃菲尔;火花;落叶松…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

丽贝卡

软件作者:贾古里,穆罕默德·马赫迪;锡尔贾尼,马扬;穆萨维,穆罕默德·雷扎;埃桑哈梅斯帕纳;阿里,莫瓦加尔
参考文献: 8种出版物(2010-2022)
相关软件: 克里奥尔;定时丽贝卡;乌帕;旋转;毒蛇;环境谈话…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

真有趣

软件作者:克里斯托夫·沃尔特;斯蒂芬·施韦策
参考文献: 10种出版物(2005-2017)
相关软件: ACL2;哈斯克尔;成本;伊莎贝尔/霍尔;尖峰;批准…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数论(11-XX)

光气圈

软件作者:T。博洛涅西,J.van de Lagemat,C.Vissers
参考文献: 6种出版物(2000-2015)
相关软件: 洛托;并发工作台;XSB公司;乐高;盎司;莫德…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

TRX公司

软件作者:科普罗夫斯基,亚当;宾兹托克,亨利
参考文献: 8种出版物(2010-2020)
相关软件: 成本;阿格达;霍尔;公司证书;github;选择4…
主要领域: 计算机科学(68-XX)

安泰诺瓦

软件作者:尤金尼奥·G·奥莫迪奥,多梅尼科·坎通纳,阿尔贝托·波利克里蒂,雅各布·T·施瓦茨
参考文献: 8种出版物(2011-2018)
相关软件: 裁判员;集合;后桅;元数学;Nuprl公司;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);复变函数(30-XX)

计算

软件作者:Nuzzo,P.,Puggelli,A.,Seshia,S.A.,Sangiovanni Vincentelli,A.L。
参考文献: 8种出版物(2013-2019)
相关软件: 德雷尔;z3;德拉赫;是的;SMT-大鼠;SMT-LIB…
主要领域: 计算机科学(68-XX);粒子与系统力学(70-XX);运筹学,数学规划(90-XX)

光盘++

软件作者:韦纳,加布里埃尔
参考文献: 8种出版物(2002-2010)
相关软件:
主要领域: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

CertiKOS公司

软件作者:顾,R,邵,Z,陈,H.,吴,X.N.,金,J.,Sjöberg,V.,Costanzo,D。
参考文献: 8种出版物(2017-2020)
相关软件: seL4;伊莎贝尔/霍尔;伊莎贝尔;霍尔;成本;GitHub…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

电动汽车公司

软件作者:韦列夫,米罗斯拉夫N。;布莱恩特,兰德尔E。
参考文献: 8种出版物(2001-2012)
相关软件: Velev SAT基准;糠;伯克明;皮科萨;tts系统;ACL2…
主要领域: 数理逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)

F外壳

软件作者:安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼;赫尔穆特脉
参考文献: 6种出版物(2010-2016)
相关软件: Java探路者;注册会计师;快速时间;pwcet;爆破;狼獾…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

KJS公司

软件作者:Daejun公园,AndreiŞtefănescu,Grigore Roşu
参考文献: 8种出版物(2015-2021)
相关软件: K-Java;莫德;成本;JavaScript;K检验器;GitHub…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

克莱恩代数

软件作者:阿姆斯特朗,A.,斯特劳斯,G.,韦伯,T。
参考文献: 8种出版物(2015-2022)
相关软件: 归档正式证据;伊莎贝尔/霍尔;大锤;关系代数;霍尔;重新查看…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);群论与概化(20-XX)

奎托斯

软件作者:A。Cimatti,A.Griggio,A.Micheli,I.Narasamdya,M.Roveri
参考文献: 7种出版物(2011-2018)
相关软件: 爆破;系统C;撒旦;甘美;veriSoft公司;DDVerify…
主要领域: 计算机科学(68-XX)

特克莱姆

软件作者:德尼古拉,罗科;戈拉,丹妮尔;普利斯,罗萨里奥
参考文献: 6种出版物(2005-2008)
相关软件: 克莱姆;琳达;克拉瓦;SLMC公司;MWB公司
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

真相/SLC

软件作者:洛克,马丁;诺尔,托马斯
参考文献: 4种出版物(2001-2007)
相关软件: mCRL;CADP;游戏
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

软件作者:Yang Y、Gopalakrishnan G、Lindstrom G
参考文献: 6种出版物(2007-2016)
相关软件: 成本;栅栏;佐醇;github;Weak2SC;懒惰的CSeq…
主要领域: 计算机科学(68-XX)

制服

软件作者:伯纳德·克里格·布吕克纳、扬·佩雷斯卡、恩斯特·鲁迪格·奥尔德罗格、亚历山大·贝尔
参考文献: 7种出版物(1999-2011)
相关软件: 乌帕;弗兰特克;GHC公司;哈斯克尔;梅森网络;DCVALID…
主要领域: 计算机科学(68-XX)

ACTLW公司

软件作者:  –
参考文献: 6种出版物(2008-2016)
相关软件: 旋转;奶牛;mCRL;雷贝卡;AODV;乌帕尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

CLPS-B公司

软件作者:花束,法布里斯;勒格尔德,布鲁诺;佩鲁克斯,法比恩
参考文献: 2份出版物(2002-2009)
相关软件: 问题;jb工具;罗丹;XSB公司;FDR2;奥兹…
主要领域: 计算机科学(68-XX)

迪斯科

软件作者:阿尔顿,蒂莫;卡塔拉,米卡;皮克嫩,里斯托
参考文献: 7种出版物(1998-2006)
相关软件: PVS公司;AspectJ公司;Ocsid;合一;霍尔;因为…
主要领域: 计算机科学(68-XX)

埃德蒙斯·卡普

软件作者:拉米,彼得;塞菲加,S.Reza
参考文献: 7种出版物(2016-2021)
相关软件: 加博SCC;成本;伊莎贝尔/霍尔;伊莎贝尔;Dijkstra最短路径;分离逻辑…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

占上风

软件作者:博里翁,多米尼克;皮埃尔,劳伦斯;萨勒姆,阿什拉夫
参考文献: 5种出版物(1992-2014)
相关软件: Nuprl公司;科克姆图;花束;成本;塞萨尔;落叶松…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

裁判

软件作者:奥莫迪欧;多梅尼科州;阿尔贝托·波利克蒂;雅各布·T·施瓦茨
参考文献: 7种出版物(2013-2018)
相关软件: 安泰保险;集合;后桅;元数学;Nuprl公司;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

瓦塔

软件作者:伦加尔,昂德内伊;西蒙切克;沃伊纳尔,汤姆š
参考文献: 7种出版物(2012-2019)
相关软件: MTBDD;幻灯片;蒙纳;骑自行车的人;反链;臀部…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

BDD低

软件作者:Kim Milvang Jensen,Alan J.Hu
参考文献: 6种出版物(2000-2011)
相关软件: Gprof公司;Sycraft公司;卡德;墨菲;努西姆;旋转
主要领域: 计算机科学(68-XX)

拉尔夫

软件作者:克劳迪娅·哈滕斯佩格、鲁道夫·伯格默、冈瑟·施密特
参考文献: 6种出版物(1997-2014)
相关软件: 拉尔;重新审视;伊莎贝尔/霍尔;拉思;阿糖胞苷;伊莎贝尔…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

RT-ASLAN公司

软件作者:Auernheimer B,凯默尔R A。
参考文献: 3个出版物(1994-2002)
相关软件: 埃斯特雷尔;Ada95型;星体的
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

斯皮迪思

软件作者:Urbas,M.,Jamnik,M.,斯台普顿,G.,Flower,J。
参考文献: 5种出版物(2012-2019)
相关软件: 防开启;迪亚贝利;嘟嘟博士;捣碎;Hets公司;霍尔灯…
主要领域: 数理逻辑与基础(03-XX);几何(51-XX);凸与离散几何(52-XX)

森林

软件作者:范迪克,T。;范德波尔,J。
参考文献: 6种出版物(2020-2022)
相关软件: 暴风雨;预言;github;伙计;卡德;添加库…
主要领域: 数论(11-XX);群论与概化(20-XX);计算机科学(68-XX)

Z2sal公司

软件作者:J德里克,南北方,A J H西蒙斯
参考文献: 5种出版物(2008-2012)
相关软件: 旋转;Z轴;Z/晚上;捷克特;jSpin;普罗梅拉…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

基岩

软件作者:亚当·克利帕拉
参考文献: 4种出版物(2017-2019)
相关软件: 成本;工具链;OCaml公司;归档正式证据;摊余复杂度;分离逻辑…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

懒散CSeq

软件作者:赫特,弗拉基米尔;Le,Hoang M。;格罗埃,丹尼尔;德雷克斯勒,罗尔夫
参考文献: 4种出版物(2015-2018)
相关软件: 缅甸中央银行;Cseq公司;MU CSeq;塞加尔;共生2;担保人…
主要领域: 计算机科学(68-XX)

露丝

软件作者:莫伊,M.,玛拉尼奇,F.,梅利特康托兹,L。
参考文献: 3个出版物(2007-2013)
相关软件: 系统C;奎托斯;veriSoft公司;埃斯特雷尔;皮纳帕;LLVM…
主要领域: 计算机科学(68-XX)

马卡斯皮斯

软件作者:罗科·德尼古拉、迭戈·拉特拉、米歇尔·洛雷蒂、梅克·马辛克
参考文献: 5种出版物(2009-2015)
相关软件: 奶牛;谦虚;群组套件;克莱姆;SAS;SPSS…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);概率论与随机过程(60-XX)

模型丛

软件作者:米奇,S.,普拉泽,A。
参考文献: 3种出版物(2016-2021)
相关软件: SpaceEx公司;凯美拉;凯玛拉X;贝勒洛芬;德拉赫;验证…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

摩泽尔

软件作者:P。Kelb,T.Margaria,M.Mendler,C.Gsottberger
参考文献: 4种出版物(1998-2018)
相关软件: 蒙纳;亚视;生物模型;生物香料;俱乐部;浮雕…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

MTBDD公司

软件作者:伦加尔,昂德内伊;西蒙切克;沃伊纳尔,汤姆š
参考文献: 5种出版物(2012-2019)
相关软件: 瓦塔;蒙纳;幻灯片;反链;臀部;克莱弗…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

心理同步

软件作者:戈伊博士,塞扎拉;亨辛格,托马斯A。;祖弗里,达米恩
参考文献: 5种出版物(2016-2021)
相关软件: 威尔第;旋转;ByMC公司;z3;远端;荷鲁斯…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

红色图书馆

软件作者:王法恩
参考文献: 5种出版物(2011-2014)
相关软件: 克洛诺斯;CMC;综合征;乌帕;乌帕阿尔蒂加;节奏…
主要领域: 计算机科学(68-XX)

岩盐矿

软件作者:Morrisett,G.,Tan,G.,Tassarotti,J.,Tristan,J.B.,Gan,E。
参考文献: 5种出版物(2015-2021)
相关软件: 成本;GDSL公司;FreeSpec公司;可操作性;卡米语;GitHub…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

规则库

软件作者:IBM公司
参考文献: 3个出版物(2009-2012)
相关软件: 缅甸中央银行;狂想曲;高架桥2
主要领域: 计算机科学(68-XX)

SAT解算器验证

软件作者:菲利普马里奇
参考文献: 5种出版物(2009-2018)
相关软件: 归档正式证据;糠;伊莎贝尔/霍尔;迷你卫星;伯克明;佐藤…
主要领域: 计算机科学(68-XX)

粗壮的

软件作者:Nathalie Cauchi,Kurt Degiorgio,Alessandro Abate
参考文献: 5种出版物(2019-2022)
相关软件: 浮士德2;棱镜;SReachTools公司;ProbReach公司;肌炎;谦虚…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

VeriCon公司

软件作者:Ball,T.,Bjorner,N.,Gember,A.,Itzhaky,S.,Karbyshev,A.,Sagiv,M.,Schapira,M.,Valadarsky,A。
参考文献: 5种出版物(2014-2021)
相关软件: 食蚁兽;奈特凯特;快;验证流;狂热的;萝拉…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

Z3str2型

软件作者:郑云辉;加内什,维杰;苏布拉曼尼亚,萨努;特里普,奥默;贝齐什,墨菲;杜比,朱利安;张向玉
参考文献: 4种出版物(2017-2021)
相关软件: 汉比;Z3str3型;陌生人;诺恩;z3;CVC4…
主要领域: 计算机科学(68-XX)

亚德尔

软件作者:裴京民,彼得·厄尔维茨基,何塞·梅斯盖尔
参考文献: 3种出版物(2012-2016)
相关软件: LNT2LOTOS公司;埃斯特雷尔;GRL公司;多时性;CADP;旋转…
主要领域: 计算机科学(68-XX)