×

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

毫升

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

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈弗伦德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

拉瓦

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

j承包商

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

幼虫

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

基岩

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

克拉拉

5份文件引用(2011–2021)
软件作者: Bodden E、Lam P、Laurie L
相关软件: Java-MOP;apcluster;VGGFace2…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

SPY公司

4份文件引用(2015–2017)
软件作者: Neykova R、Yoshida N、Hu R
相关软件: 乱涂;奶牛;JBoss…
主要字段: 计算机科学(68-XX)

乌鸦脚

5份文件引用(2011–2015)
软件作者: 纳撒尼尔·查尔顿;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德
相关软件: 小脚;VeriFast;jStar…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JSFlow公司

4份文件引用(2015–2018)
软件作者: 赫丁,D。;Birgisson,A。;Bello,L。;Sabelfeld,A。
相关软件: FlowFox公司;Jif;JavaScript…
主要字段: 计算机科学(68-XX)

昏迷

2份文件引用(2016年至2021年)
软件作者: P Arcaini、A Gargantini、E Riccobene
相关软件: AsmetaSMV;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

水晶球

4份文件引用(2019–2022)
软件作者: 马特·索斯;拉加夫·库尔卡尼;Kuldeep S.梅尔。
相关软件: 查夫;MiniSat;OTTER…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

G小调

4份文件引用(2010–2019)
软件作者: 安德鲁·麦克里特(Andrew McCreight);蒂姆·骑士;安德鲁·托尔马赫
相关软件: Coq;CompCert;CompCertTSO…
主要字段: 计算机科学(68-XX)

RiTHM公司

4份文件引用(2015–2020)
软件作者: Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S
相关软件: CBMC;NuSMV;旋转…
主要字段:

ROS监测

2份文件引用(2021–2023)
软件作者: A.Ferrando、R.C.Cardoso、M.Fisher、D.Ancona、L.Franceschini、V.Mascardi
相关软件: SPOT;HyperTensioN;MCMAS…
主要字段: 计算机科学(68-XX)

TeSSLa公司

4份文件引用(2018–2022)
软件作者: 卢卡斯修道院;塞巴斯蒂安·亨格瑞克;Martin Leucker;托本·谢菲尔;施密茨,马尔特;丹尼尔·托马
相关软件: LOLA;蒙保利;BeepBeep…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

合同Larva

引用于3份文件(2018–2021)
软件作者: 约书亚·埃卢尔(Joshua Ellul);J.速度
相关软件: 条纹;LOLA;蒙保利…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

强制性精炼

引用于3份文件(2018–2019)
软件作者: 彼得·兰米奇
相关软件: 存档正式证据;Isabelle/HOL;自动引用(&R)…
主要字段: 计算机科学(68-XX)

JBMC公司

2份文件引用(2021–2022)
软件作者: 科代罗,卢卡斯;帕斯卡·凯塞利(Pascal Kesseli);Daniel Kroening;Peter Schrammel;马雷克·特提克
相关软件: OpenJML;凯伊;JML单位…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

代码合同

在0个文档中引用
软件作者: 微软
相关软件: 艾菲尔基础2;布吉;Why3…
主要字段:

数据链路连接器

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

HBAC公司

2份文件引用(2009–2010)
软件作者: Wang,J.、Takata,Y.、Seki,H。
相关软件:
主要字段: 计算机科学(68-XX)

互方面

2份文件引用(2012–2021)
软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈弗伦德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克
相关软件: 方面J;LOLA;AspectWerkz…
主要字段: 计算机科学(68-XX)

JCML公司

2份文件引用(2009–2012)
软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。
相关软件: 回路;Z;JML…
主要字段: (68N15-XX);(68N30-XX)

迷你枫木

2份文件引用(2012)
软件作者: 穆罕默德·泰穆尔·汗;沃尔夫冈·施莱纳
相关软件: Why3;枫树;差异DifferenceDifferential…
主要字段: 计算机科学(68-XX)

MONAA公司

2份文件引用(2016–2017)
软件作者: Masaki Waga公司
相关软件: 时间模式匹配;Simulink;蒙特勒…
主要字段: 计算机科学(68-XX)

[希神]尼纳姆

2份文件引用(2022–2023)
软件作者: 斯坦利·贝克
相关软件: NNV;Reluplex;AI2…
主要字段: 计算机科学(68-XX)

StaRVOOrS公司

2份文件引用(2017–2021)
软件作者: Ahrendt W、Pace GJ、Schneider G
相关软件: 幼虫;JPAX;DyTa…
主要字段:

200万加元

1份文件引用(2020)
软件作者: 王蒙;田聪;张楠;段振华;姚晨光
相关软件: LTL自动化;UMC4M;RiTHM…
主要字段: 计算机科学(68-XX)

差异DifferenceDifferential

1份文件引用(2012)
软件作者: 穆罕默德·泰穆尔·汗;沃尔夫冈·施莱纳
相关软件: Why3;迷你枫树;枫树
主要字段: 计算机科学(68-XX)

FLD箱

1份文件引用(2021)
软件作者: 弗兰克·维德里恩;马克西姆·雅克·明;尼古拉·科马托夫;辛戈尔斯,朱利安
相关软件: FLD编译器
主要字段: 计算机科学(68-XX)

FLD编译器

1份文件引用(2021)
软件作者: Maxime Jacquemin、Fonentsoa Maurica、Nikolai Kosmatov、Julien Signoles、Franck Védrine
相关软件: FLD箱
主要字段: 计算机科学(68-XX)

3月

1份文件引用(2017)
软件作者: 寄存器G
相关软件: DyTa;LARVA;StaRVOOrS…
主要字段:

MOP盒

在0个文档中引用
软件作者: 埃里克·博登
相关软件:
主要字段:

褶皱

1份文件引用(2013)
软件作者: 罗伯特·纳吉;杰拉尔多·施耐德;亚拉姆·蒂莫菲奇克
相关软件: CasparCG公司
主要字段: 计算机科学(68-XX)

SAHA-工具

1份文件引用(2010)
软件作者: 达里奥·坎帕尼亚;卡拉广场
相关软件: OCaml;d/dt;HSolver…
主要字段: 计算机科学(68-XX)

船舶

1份文件引用(2015)
软件作者: Serge Autexier;迪特尔·赫特
相关软件: 颗粒;高尔夫
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

简单

1份文件引用(2016)
软件作者: 诺伯特·希默
相关软件: 达夫尼;克莱纳代数;常规集…
主要字段:

塔科斯

1份文件引用(2015)
软件作者: Falcone Y、Marchand H
相关软件: UMDES公司
主要字段: 信息与通信理论,电路(94-XX)

定时对话

1份文件引用(2017)
软件作者: 鲁米亚娜·内科娃、劳拉·博奇、吉田信子
相关软件: SPY;LARVA;涂鸦…
主要字段: 计算机科学(68-XX)

TXP公司

1份文件引用(2005)
软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。
相关软件: Java-MaC;LTL2BA;自旋蛋白
主要字段: 计算机科学(68-XX)

UMC4M公司

1份文件引用(2020)
软件作者: 孟旺、丛田、张楠、段振华、姚晨光
相关软件: LTL自动化;RiTHM公司;C2M…
主要字段:

兹克比

在0个文档中引用
软件作者: 亨利·德瓦伦斯
相关软件: bplib;ZKPDL;艾美…
主要字段:

迪安娜

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

Go2Pins游戏

在0个文档中引用
软件作者: 亚历山大·柯森伯格(Alexandre Kirszenberg);安托万·马丁;雨果·莫罗;艾蒂安·雷诺
相关软件:
主要字段:

筛选结果依据…