×

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

自旋

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-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)…

WSAT公司

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

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

常春藤

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

西尔文

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

克拉托斯

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

雷贝卡

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

CalCS公司

8份文件引用(2013–2019)
软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。
相关软件: dReal;z3;dReach…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学编程(90-XX)…

ACTLW公司

6篇文献引用(2008–2016)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DisCo公司

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

kP工作台

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

MarCaSPiS公司

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

阿拉伯联合酋长国

3份文件引用(2012–2016)
软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer
相关软件: 电子LOTOS;GRL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

SCE灯

4份文件引用(2014–2020)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐
相关软件: SCEL;自旋蛋白;琳达…
主要字段: 计算机科学(68-XX)

VeriSIMPL公司

3份文件引用(2015–2018)
软件作者: 阿兹基亚(Adzkiya)、迪基(Dieky);张以宁;亚历山德罗·阿巴特
相关软件: 算法97;FaPAS;Maxplus…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);系统论;对照(93-XX)

导线

3份文件引用(2018–2021)
软件作者: 卡米利,马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;蒙加,马蒂亚;网飞公司
相关软件: MongoDB;开放星云;沙发数据库…
主要字段: 计算机科学(68-XX)

CoSA公司

2份文件引用(2020–2022)
软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。
相关软件: 尤瑟斯;BtorMC;波诺…
主要字段: 计算机科学(68-XX)

PyBioNet适配

1份文件引用(2020年)
软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;RG波斯纳;拉瓦切克,WS
相关软件: COPASI;AMIGO公司;碲…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)

炼油厂

2份文件引用(2016–2018)
软件作者: Wijs,A.,Engelen,L。
相关软件: Coq;GPU棱镜;罗丹…
主要字段: 计算机科学(68-XX)

TASS公司_

3份文件引用(2011–2012)
软件作者: Stephen Siegel指导下的验证软件实验室
相关软件: KLEE公司;ISP;cvc3…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

数据链路连接器

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

高斯

2份文件引用(2011–2018)
软件作者: 罗伯特·帕尔默;史蒂夫·巴鲁斯(Steve Barrus);余阳;Ganesh Gopalakrishnan;罗伯特·M·柯比
相关软件: ISP;自旋蛋白;SLAM…
主要字段: 计算机科学(68-XX)

标识哈希映射

1份文件引用(2022)
软件作者: 甲骨文公司
相关软件: OpenJML;JML单位;JBMC…
主要字段: 计算机科学(68-XX)

SeVe公司

2份文件引用(2012–2015)
软件作者: Luu,Anh Tuan;孙军;刘,杨;董金松
相关软件: 棱镜;拍打;卡斯珀…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

COMBINE公司

在0个文档中引用
软件作者: Nguyen,An N。;Quan,Tho T。;Nguyen,Phung H。;Bui,Thang H。
相关软件: z3;HIP;Java PathFinder…
主要字段:

EthVer公司

1份文件引用(2021)
软件作者: 尤卡斯·马祖雷克
相关软件: 曼蒂科尔;甲氰菊酯;Why3…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

事实

在0个文档中引用
软件作者: Calinescu,R。;约翰逊,K。;帕特森,C。
相关软件: 漫画;DFTCalc;Uppaal…
主要字段:

利瓦塔

1份文件引用(2019)
软件作者: Ondrej Lengal;吉里·西马切克;托马斯·沃伊纳;马丁·赫鲁斯卡;卢卡斯·霍利克
相关软件: 餐前小吃;反链;LTL2BA…
主要字段: 计算机科学(68-XX)

马林巴

1份文件引用(2015)
软件作者: 埃尔南德斯,诺;科尔斯汀·埃德尔(Kerstin Eder);马吉德(Magid)、叶夫根尼(Evgeni);杰苏斯·萨维奇;David A.Rosenblueth。
相关软件: z3;线性方程求解器;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

路径查找器

1份文件引用(2002)
软件作者: 本·达维德(Ben-David),肖姆(Shoham);Anna Gringauze;斯特林,巴鲁克;Wolfsthal,纱线
相关软件:
主要字段: 计算机科学(68-XX)

PLSMC公司

1份文件引用(2015)
软件作者: 庞涛;段振华;刘晓芳
相关软件: CUDD;NuSMV公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PdTRAV公司

在0个文档中引用
软件作者: G.Cabodi、S.Nocco、S.Quer
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段