棱镜 498份文件引用(2001–2023) 软件作者: 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 相关软件: MRMC;风暴;Uppaal… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
高超声速 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)…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。 相关软件: Uppaal;棱镜;Synthia… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
nuXmv(数字) 引用于44份文件(2015–2023) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
向上2k 38篇文献引用(2000–2017) 软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen) 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
派克斯 23篇文献引用(2009–2018) 软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux) 相关软件: 投掷;可爱的;z3… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
智能_ 23篇文献引用(2000–2018) 软件作者: Ciardo,G。;Jones,R.L。;Miner,A.S.公司。;R·西米尼亚努。 相关软件: 自旋蛋白;棱镜;NuSMV… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
垫片 30篇文献引用(2015–2023) 软件作者: 科穆拉维利,安维什;阿里·古芬克尔;萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
APMC公司 29篇文献引用(2004–2021) 软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特 相关软件: 棱镜;Uppaal;风暴… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-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)
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者: 麦克米兰K·L。 相关软件: NuSMV;自旋蛋白;SPOT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统理论;控制(93-XX)
Quantor公司 23篇文献引用(2005–2023) 软件作者: 阿明·比尔 相关软件: 斯基佐;QUBOS公司;部门QBF… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
SMV公司 13份文件引用(1986–2018) 软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer公司;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
JPF-SE公司 6篇文献引用(2011–2021) 软件作者: Anand S、Pasareanu CS、Visser W 相关软件: Java PathFinder;投掷;可爱… 主要字段: 计算机科学(68-XX)
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ITS工具 10篇文献引用(2019–2023) 软件作者: Yann Thierry-Mieg公司 相关软件: TINA;LTSmin公司;TAPAAL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SAL公司 5份文件引用(2004–2021) 软件作者: 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件: 自旋蛋白;PVS;升起… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
交通 8份文件引用(2015–2022) 软件作者: Udupa,A.、Raghavan,A.、Deshmukh,J.V.、Mador-Haim,S.、Martin,M.M.、Alur,R。 相关软件: CVC4;z3;简化… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
可视化状态 7份文件引用(1999–2010) 软件作者: 林德·尼尔森,约恩;安徒生、亨利克·雷夫;亨利克·胡尔加德(Henrik Hulgaard);Gerd Behrmann;Kristoffersen,科勒;金·拉森 相关软件: CBMC;APS;NuSMV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)
佩里普洛 8份文件引用(2013–2022) 软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜 相关软件: eVolCheck;FunFrog;OpenSMT2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASPIER公司 6篇文献引用(2011年-2023年) 软件作者: 查基,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)
CPBPV公司 4份文件引用(2010年-2023年) 软件作者: 赫莱内·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克 相关软件: TCAS;CBMC;VIPR… 主要字段: 计算机科学(68-XX)
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者: 莫尼卡·海纳;马丁·施瓦里克;阿列克谢·托夫奇格里奇科 相关软件: 清爽;COPASI;MoVisPP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
jMocha公司 5份文件引用(2008–2023) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯,A。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CoSA公司 引用于2份文件(2020–2022) 软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。 相关软件: 尤瑟斯;爱格;BtorMC… 主要字段: 计算机科学(68-XX)
鳄鱼 引用于2份文件(2011–2021) 软件作者: Colange,M。;Baarir,S。;Kordon,F。;蒂里·米格(Thierry-Mieg,Y.)。 相关软件: 海伦娜;AlPiNA;GreatSPN公司 主要字段: 计算机科学(68-XX)
尤里卡 3份文件引用(2008年-2014年) 软件作者: Armando,A.,Benerecetti,M.,Carotenuto,D.,Mantovani,J.,Spica,P。 相关软件: CBMC;灌篮;旋转… 主要字段: 计算机科学(68-XX)
SymDIVINE公司 引用于2份文件(2018) 软件作者: J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件: nuXmv;jCUTE公司;CIL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
流苏_ 3份文件引用(2011–2012) 软件作者: Stephen Siegel指导下的验证软件实验室 相关软件: KLEE公司;ISP;cvc3… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
显式PRISMSymm 引用于2份文件(2015) 软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔 相关软件: 棱镜 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
第2b页 引用于2份文件(2001年-2010年) 软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Jochen的Schr“oder-Babo 相关软件: 普罗米拉;自旋蛋白;ML… 主要字段: 计算机科学(68-XX)
害虫 引用于2份文件(2018–2020) 软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。 相关软件: TCT;MuDiv;libFAUDES… 主要字段: 计算机科学(68-XX)
pyModelChecking(pyModel检查) 引用于2份文件(2021年至2022年) 软件作者: 卡萨格兰德,A 相关软件: SPOT;汤姆;ORME… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-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);拉凯什·米斯特里 相关软件: MiniSat;ABC;数学SAT5… 主要字段: 计算机科学(68-XX)
SymPLFIED公司 引用于2份文件(2012–2013) 软件作者: 卡提克·帕塔比拉曼;Nithin M.Nakka。;Kalbarczyk,Zbigniew T。;拉维珊卡·K·伊耶。 相关软件: Stratego;OBJ咖啡馆;MMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
见证人 1份文件引用(2018) 软件作者: 汉娜·阿恩特;克里斯蒂娜·詹森(Christina Jansen);克里斯托夫·马提亚(Christoph Matheja);诺尔,托马斯 相关软件: 贾格诺 主要字段: 计算机科学(68-XX)
利瓦塔 1份文件引用(2019) 软件作者: Ondrej Lengal;吉里·西马切克;托马斯·沃伊纳;马丁·赫鲁斯卡;卢卡斯·霍利克 相关软件: 餐前小吃;反链;LTL2BA… 主要字段: 计算机科学(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)