×

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

自旋蛋白

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

Mcmt公司

27篇文献引用(2010–2023)
软件作者: 吉拉尔迪·S、兰妮丝·S
相关软件: 小卧室;SMT-LIB;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)

TLPVS公司

8份文件引用(2003–2011)
软件作者: 阿米尔·普努利;塔马拉·阿隆斯
相关软件: PVS;自旋蛋白;魔法…
主要字段: 数学逻辑与基础(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)

DisCo公司

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

SPY公司

4份文件引用(2015–2017)
软件作者: Neykova R、Yoshida N、Hu R
相关软件: 乱涂;奶牛;JBoss…
主要字段: 计算机科学(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、Peterlveczky、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)…

DREAM工具

2份文件引用(2006–2013)
软件作者: Gabor Madl公司
相关软件: 高科技;IF-2.0;Kronos…
主要字段: 计算机科学(68-XX)

起源2

2份文件引用(2016–2017)
软件作者: 艾伦·G·克罗夫
相关软件: 枫树;算法982;移位…
主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)

VERSA公司

3份文件引用(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-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)

数据链路连接器

2份文件引用(2015–2017)
软件作者: 哈格斯·埃夫拉德
相关软件: MCGP;XTL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

EFSMT公司

2份文件引用(2016–2019)
软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S
相关软件: z3;Yices;SMT-RAT…
主要字段: 计算机科学(68-XX)

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者: 佩里·R·詹姆斯。;帕特里斯·沙林
相关软件: 布吉;ESC/Java;cvc3…
主要字段: 计算机科学(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)

ARIAL公司

1份文件引用(2002)
软件作者: 弗吉尼亚弗雷斯,奥利维尔变形
相关软件: SynDEx公司
主要字段: 计算机科学(68-XX)

基本-真实

1份文件引用(1997)
软件作者: Nepomnyashchij,副总裁。;新墨西哥州希洛夫。;博丁,E.V。
相关软件: ——
主要字段: 计算机科学(68-XX)

立方体AMR

1份文件引用(2023)
软件作者: 米歇尔·查兹马诺拉基斯(Michail Chatzimanolakis);帕斯卡·韦伯(Pascal Weber);费边·沃梅林格;彼得罗·库穆塔科斯
相关软件: odmd;OctNet;亚当…
主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)

楔形文字

1份文件引用(2017)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱瑟
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(68-XX)

REAL元素

1份文件引用(1999)
软件作者: Nepomnyashchij,副总裁。;新墨西哥州希洛夫。;博丁,E.V。
相关软件: ——
主要字段: 计算机科学(68-XX)

加莱里

1份文件引用(2008)
软件作者: 马尔齐奥·萨拉
相关软件: pMatlab;蟒蛇;IFPACK…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

盖斯特3D

在0个文档中引用
软件作者: Jochen Stier;延斯·扬克;豪西·穆勒
相关软件: ——
主要字段: ——

信息空间

1份文件引用(2008)
软件作者: 塞巴斯蒂安·沃伊格特
相关软件: ——
主要字段: 计算机科学(68-XX)

RHydroBox3D(右液压箱3D)

1份文件引用(2020)
软件作者: 伊戈尔·库利科夫
相关软件: 爱因斯坦工具包;CAFE-R;TESS…
主要字段: 流体力学(76-XX);天文学和天体物理学(85-XX)

独奏家

1份文件引用(2015)
软件作者: Bianculli D、Ghezzi C、Pietro PS
相关软件: PostgreSQL;LOLA;蒙保利
主要字段: 计算机科学(68-XX)

口吃等效性

1份文件引用(2018)
软件作者: 斯蒂芬·默兹
相关软件: 精炼一元;必要的改进;Gabow SCC…
主要字段: 计算机科学(68-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)

BeSpaceD(间隔D)

在0个文档中引用
软件作者: Jan Olaf漂白剂;汉斯·施米特
相关软件: ——
主要字段: ——

戴安娜

在0个文档中引用
软件作者: V.A.Antonenko、E.V.Chemeritskiy、A.B.Glonina等人。
相关软件: ——
主要字段: ——

凯伊迈拉德

在0个文档中引用
软件作者: 安德烈·普拉泽(AndréPlatzer)、大卫·伦肖(David Renshaw)
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件