×

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

高超声速

320篇文献引用(1996–2024)
软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。
相关软件: Uppaal;PHAVer;Kronos…
主要字段: 数学逻辑与基础(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)…

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

西雅娜

75篇文献引用(2012–2023)
软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。
相关软件: TensorFlow;亚当;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯
相关软件: 达夫尼;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

发现者

66份文件引用(1999–2023)
软件作者: 夏B
相关软件: QEPCAD;枫树;重新记录…
主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…

努Xmv

44篇文献引用(2015–2023)
软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔
相关软件: z3;NuSMV;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

Uppaal2k公司

38篇文献引用(2000–2017)
软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

jStar公司

32篇文献引用(2008–2022)
软件作者: DiStefano,D.,Parkinson,M。
相关软件: 小脚;VeriFast;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

APMC公司

29篇文献引用(2004–2021)
软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特
相关软件: 棱镜;Uppaal;风暴…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

凸面.jl

27篇文献引用(2015–2023)
软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong
相关软件: CVX;CVXPY;朱莉娅…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

Mcmt公司

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

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Cadence SMV公司

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

毒蛇

25篇文献引用(2016–2023)
软件作者: Peter Müller、Malte Schwerhoff、Alexander J.Summers
相关软件: VeriFast;达夫尼;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

阿克斯

引用于20份文件(2012–2023)
软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer)
相关软件: 塔马林;AVISPA;Maude-NPA…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

GKLEE公司

11份文件引用(2013–2022)
软件作者: 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。
相关软件: CUDA;GPU验证;OpenCL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

跟踪器

在14份文件中引用(2012–2022)
软件作者: Jaffar,J.、Navas,J.A.、Santosa,A.E。
相关软件: SeaHorn;z3;VeriMAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

西格玛*

13份文件引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

ATGen公司

6篇文献引用(2005–2022)
软件作者: 克里斯托夫·穆代克
相关软件: 快速检查;派克斯;路特斯…
主要字段: 计算机科学(68-XX)

克拉托斯

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

RealCertify公司

10篇文献引用(2018–2023)
软件作者: Victor Magron,Mohab Safey El Din
相关软件: TSSOS;塞杜米;莫塞克…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

ITS工具

引用于9份文件(2019年-2023年)
软件作者: Yann Thierry-Mieg公司
相关软件: TINA;LTSmin公司;TAPAAL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

辛西娅

8份文件引用(2012–2022)
软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。
相关软件: UPPAAL TIGA;Uppaal;棱镜…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;对照(93-XX)

可视化状态

7份文件引用(1999–2010)
软件作者: 林德·尼尔森,约恩;安徒生、亨利克·雷夫;亨利克·胡尔加德(Henrik Hulgaard);Gerd Behrmann;Kristoffersen,科勒;金·拉森
相关软件: CBMC;APS;NuSMV…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

Z3str2型

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

佩里普洛

8份文件引用(2013–2022)
软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜
相关软件: eVolCheck;FunFrog;OpenSMT2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RGITL公司

8份文件引用(2014–2022)
软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang
相关软件: 自旋蛋白;基夫;Dafny…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

蜗牛

7份文件引用(2010–2021)
软件作者: Chandra,S.、Fink,S.J.、Sridharan,M。
相关软件: 投掷;z3;STP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯托克Hy

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

VST-弗洛伊德

8份文件引用(2018–2023)
软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。
相关软件: Coq;工具链;锈蚀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ACTLW公司

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

ASPIER公司

6篇文献引用(2011–2023)
软件作者: Chaki,S;达塔,A。
相关软件: ProVerify;NAXOS;EasyCrypt…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

消防员

5份文件引用(2009–2018)
软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。
相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LinAIG公司

7份文件引用(2011–2022)
软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;佛罗里达州Pigorsch;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨
相关软件: z3;CUDD;SpaceEx…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

增值税

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

CPBPV公司

4份文件引用(2010–2023)
软件作者: 海伦·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克
相关软件: TCAS;CBMC;VIPR…
主要字段: 计算机科学(68-XX)

海康普

6篇文献引用(2017–2022)
软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta
相关软件: nuXmv;CTIGAR;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

Z2萨尔

5份文件引用(2008–2012)
软件作者: J Derrick,S North,A J H Simons公司
相关软件: 自旋蛋白;Z;Z/EVES…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

ASP工具

5份文件引用(2009–2022)
软件作者: 托米·詹胡宁
相关软件: 亚萨特;DLV;WASP…
主要字段: 计算机科学(68-XX)

EPGY公司

3份文件引用(2001–2020)
软件作者: 理查德·索默(Richard Sommer);格雷戈里·努克尔斯
相关软件: LPL软件;减少;OTTER…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

懒惰的CSeq

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

平均无故障时间

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

速度

5份文件引用(2002–2014)
软件作者:
相关软件: 克罗诺斯;高科技;McAiT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

验证

4份文件引用(2019年至2021年)
软件作者: 李玉良、阿林·德意志、维克托·维亚努
相关软件: 小卧室;Mcmt;尽快…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CASPA公司

4份文件引用(2008–2015)
软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔
相关软件: 棱镜;CUDD;参数
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

jMocha公司

4份文件引用(2008–2021)
软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。
相关软件: 摩卡;MCMAS;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

终结者

4份文件引用(2013–2022)
软件作者: 徐明;李志斌
相关软件: LoAT;停机坪;GitHub…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…

版本X

4份文件引用(2020–2022)
软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。
相关软件: solc验证;落叶松;埃菲尔…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

跳跃

3份文件引用(2017–2021)
软件作者: 托马斯·丁斯代尔·扬(Thomas Dinsdale-Young);佩德罗·达罗查·平托;安徒生,克里斯托弗公正;拉尔斯·比克达尔
相关软件: 蝰蛇;VeriFast;草蜢…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CoSA公司

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

DyTa公司

2份文件引用(2017–2018)
软件作者: Ge X、Taneja K、Xie T、Tillmann N
相关软件: 派克斯;VIDA;划痕…
主要字段: 计算机科学(68-XX)

HyDI公司

3份文件引用(2013–2015)
软件作者: Cimatti A、Mover S、Tonetta S
相关软件: SpaceEx;数学SAT;HySAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

JavaSPI(JavaSPI)

1份文件引用(2018)
软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂
相关软件: MJ;AGVI;Bouncy Castle…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

PolyCleaner公司

3份文件引用(2020–2021)
软件作者: Mahzoon,A.、Große,D.、Drechsler,R。
相关软件: RevSCA;GenMul;multgen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

波诺

2份文件引用(2021年至2022年)
软件作者: Mann,M.等人。
相关软件: 尤瑟斯;CoSA;BtorMC…
主要字段: 计算机科学(68-XX)

修订SCA

3份文件引用(2020–2021)
软件作者: Mahzoon,A.、Große,D.、Drechsler,R。
相关软件: PolyCleaner;GenMul;multgen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SymDIVINE公司

2份文件引用(2018)
软件作者: J.ázek先生、P.Bauch、H.Lauko、J.Barnat
相关软件: nuXmv;jCUTE公司;CIL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TASS公司_

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

估价员

3份文件引用(2008–2010)
软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Thibaud Hottelier;劳拉·科瓦奇
相关软件: 斯卡拉;数学;z3…
主要字段: 计算机科学(68-XX)

vlogsl语言

3份文件引用(2011–2013)
软件作者: Michael Katelman;何塞·梅塞盖尔
相关软件: 莫德;Java+ITP;K校准仪…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

羚羊

2份文件引用(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 卡利班;克里奥;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

BALM-II型

2份文件引用(2015–2020)
软件作者: 卡斯蒂蒂内蒂,G.,皮科洛,M.,维拉,T。
相关软件: MVSIS公司
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

卡利班

2份文件引用(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 阿里尔;克里奥;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

CIVL公司

2份文件引用(2020年)
软件作者: Siegel,S.F.等人。
相关软件: 蝰蛇;VerCors;线程…
主要字段: 计算机科学(68-XX)

克里奥

2份文件引用(1991)
软件作者: 詹姆斯·莫里斯。;马克·霍华德
相关软件: 卡利班;阿里埃尔;米兰达
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

差异

2份文件引用(2021年至2022年)
软件作者: 查克拉波蒂,苏普拉蒂克;阿舒托什·古普塔;迪夫耶什·乌纳德卡特
相关软件: z3;CVC4;Dafny…
主要字段: 计算机科学(68-XX)

公式2.0

2份文件引用(2013–2016)
软件作者: 伊桑·K·杰克逊。;沃尔夫拉姆·舒尔特
相关软件: AGG;ATL;时刻2…
主要字段: 计算机科学(68-XX)

GoTube公司

2份文件引用(2022)
软件作者: 索菲·格伦巴赫(Sophie Gruenbacher)、马蒂亚斯·莱切纳(Mathias Lechner)、拉明·哈萨尼(Ramin Hasani)、丹妮拉·罗斯(Daniela Rus)、托马斯·汉津格(Thomas A.Henzinger)、斯科特·斯莫尔卡(Scott Smol
相关软件: 火炬差异;Reluplex;流量*…
主要字段: 计算机科学(68-XX)

新加坡金融管理局

2份文件引用(2014–2015)
软件作者: 马来亚,N.,Estacio-Hiroms,K.C.,Stogner,R.H.,Schulz,K.W.,Bauman,P.T.,Carey,G.F。
相关软件: Spalart Allmaras公司;libMesh;PETSc…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX)

奥里斯

1份文件引用(2005)
软件作者: 贾科莫·布奇;劳拉·卡内瓦利;洛伦佐·里迪;恩里科·比卡里奥
相关软件: TINA;Uppaal;时间…
主要字段: 计算机科学(68-XX)

第2b页

2份文件引用(2001–2010)
软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Schr“oder Babo,约琴
相关软件: 普罗米拉;自旋蛋白;ML…
主要字段: 计算机科学(68-XX)

害虫

2份文件引用(2018–2020)
软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。
相关软件: TCT;MuDiv;libFAUDES…
主要字段: 计算机科学(68-XX)

PiMaG公司

2份文件引用(2005–2011)
软件作者: Manolios、Panagiotis;Srinivasan,Sudarshan K。
相关软件: MiniSat;Calysto;Velev SAT基准…
主要字段: 计算机科学(68-XX)

PRODeep公司

2份文件引用(2021)
软件作者: Li R、Li J、Huang CC、Yang P、Huang X、Zhang L、Xue B、Hermanns H
相关软件: Reluplex;马拉博;阿波罗…
主要字段: 计算机科学(68-XX)

SiLVer公司

2份文件引用(2019年至2021年)
软件作者: C·奥尔特。
相关软件:
主要字段: 计算机科学(68-XX)

斯马卡

1份文件引用(2017)
软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔
相关软件: r-TuBound;STP;OTAWA…
主要字段: 计算机科学(68-XX)

STEWord公司

2份文件引用(2017–2020)
软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);Mistry,拉凯什
相关软件: MiniSat;ABC;数学SAT5…
主要字段: 计算机科学(68-XX)

SymPLFIED公司

2份文件引用(2012–2013)
软件作者: 帕蒂拉曼,Karthik;Nithin M.Nakka。;Kalbarczyk,Zbigniew T。;拉维珊卡·K·伊耶。
相关软件: Stratego;OBJ咖啡馆;MMT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

2份文件引用(2005–2007)
软件作者: 沙龙·巴纳;Ziv Glazberg;Ishai Rabinovitz
相关软件: Java路径查找器
主要字段: 计算机科学(68-XX)

Absynth.jl公司

1份文件引用(2022)
软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);达内什瓦·阿姆罗拉希;尼古拉·比约纳;劳拉·科瓦奇
相关软件: z3(零3)
主要字段: 计算机科学(68-XX)

模拟Insydes

1份文件引用(2011)
软件作者: 马提亚斯·豪泽;克里斯蒂安·萨尔泽(Christian Salzig);亚历山大·德雷耶
相关软件: 数学软件
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

运河

在0个文档中引用
软件作者: Chungha Sung、Brandon Paulsen、Chao Wang
相关软件: Crab-llvm;KLEE公司;SMACK…
主要字段:

紧身衣

1份文件引用(2012)
软件作者: 曼努埃尔·Fähndrich;弗朗西斯科·洛戈佐
相关软件: 艾菲尔铁塔
主要字段: 计算机科学(68-XX)

配置检查器

1份文件引用(2018)
软件作者: Al-Shaer,E.,Alsaleh,M。
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

标高82

1份文件引用(2016)
软件作者: 埃里克·科斯金(Eric Koskinen);杨俊峰
相关软件: PostgreSQL;爆炸;SQC…
主要字段: 计算机科学(68-XX)

FP泰勒

1份文件引用(2022)
软件作者: 阿列克谢·索洛维耶夫;Baranowski,Marek S。;Briggs Ian;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南
相关软件: dReal;HOL灯;QEPCAD…
主要字段: 计算机科学(68-XX)

合资企业

1份文件引用(2005)
软件作者: Ajay Chander;戴维·埃斯皮诺萨;伊斯兰教,纳耶姆;彼得·李;乔治·勒库拉
相关软件: 毫升
主要字段: 计算机科学(68-XX)

卡(Kaa)

1份文件引用(2021)
软件作者: 爱德华·金;巴克·斯坦利;帕拉萨拉·斯里达尔·达吉拉拉
相关软件: ReachNN;科迪亚克;Sapo…
主要字段: 计算机科学(68-XX)

科内尔公司

1份文件引用(2020年)
软件作者: 马利亚阿尔普特;丹尼尔·帕尔多(Daniel Pardo);艾丽西亚·维拉纽埃娃
相关软件: 金级规范;莫德;z3…
主要字段: 计算机科学(68-XX)

LCTD公司

1份文件引用(2016)
软件作者: 奥利·萨里基维;凯乔·赫尔扬科
相关软件: 薄片;LLVM;STP…
主要字段: 计算机科学(68-XX)

利瓦塔

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

神经差异

1份文件引用(2021)
软件作者: 布兰登·保尔森、王晶波、王佳伟、王超
相关软件: 马拉博;AI2;DL2…
主要字段: 计算机科学(68-XX)

纸莎草纸-RT

1份文件引用(2022)
软件作者: 萨胡,斯涅哈;鲁思·肖尔(Ruth Schorr);Medina-Bulo、Inmaculada;马蒂亚斯·瓦格纳
相关软件: 姆约利尼尔;OCRA;NuSMV…
主要字段: 计算机科学(68-XX)

PeCA公司

1份文件引用(2014)
软件作者: Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;埃蒂安·安德烈;劳雷·佩特鲁奇(Laure Petrucci);刘,杨
相关软件: CPN/工具;清爽;访问/CPN…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件