Java PathFinder 96篇文献中引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： JoCaml公司；莫德；Oz… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
VCC公司 61篇文献引用（2010年-2023年） 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，纽约州。；H.J.列夫斯克。 相关软件： 高尔夫；代理峰值；METATEM… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
dSPIN码 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
歧管 28篇文献引用(1993–2023) 软件作者： 博桑格，M.M。；Arbab，F。；de Bakker，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
乔坎尔 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
德莱德 15篇文献引用(2009–2024) 软件作者： Isard，M。；布迪乌，M。；Yu，Y。；Birrell，A。；费特利，D。 相关软件： MapReduce；Hadoop；火花… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
jSpin（jSpin） 16篇文献引用（2008年至2021年） 软件作者： 莫德凯·本·阿里 相关软件： 自旋蛋白；散步；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；Saeed Darabi；赫斯曼（Marieke Huisman）；沃伊切赫·莫斯托夫斯基；扎哈里耶娃·斯托亚诺夫斯基，玛丽娜 相关软件： 蝰蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
网络服务提供商 9份文件引用(2008–2018) 软件作者： 科马克·弗拉纳根（Cormac Flanagan）；帕特丽斯·戈德弗里德 相关软件： KLEE公司；自旋蛋白；veriSoft… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PlusCal（加号） 10篇文献引用（2009年-2023年） 软件作者： 莱斯利·兰波特 相关软件： 自旋蛋白；薄层色谱法；TLA… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
中美合作所 10篇文献引用(2014–2021) 软件作者： 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 相关软件： 防抱死制动系统；JCobox；基利姆… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
VeriCool公司 10篇文献引用（2009年至2022年） 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
MONARC公司 6篇文献引用(2001–2012) 软件作者： Ciprian Dobre；科里纳地层 相关软件： OptorSim；网格模拟；GrADS… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学编程（90-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
国际象棋 5份文件引用（2008年至2021年） 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
StEAM公司 3份文件引用(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；Stefan Edelkamp 相关软件： 自旋蛋白；卫星抗体；Zing… 主要字段： 计算机科学（68-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： AVIO；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）
懒惰的CSeq 4份文件引用(2015–2018) 软件作者： 弗拉基米尔·赫特；Le，Hoang M。；丹尼尔·格罗（Daniel Große）；罗尔夫·德雷克斯勒 相关软件： CBMC；Cseq；MU-CSeq… 主要字段： 计算机科学（68-XX）
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
OpenPALM（打开PALM） 5份文件引用(2014–2020) 软件作者： Piacentini A、Morel T、Thevenin A、Duchaine F 相关软件： PALM；预CICE；MpCCI… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
壁龛 4份文件引用(2018–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·鲁埃达 相关软件： 奎珀；混合的；Coq… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CalFuzzer公司 2份文件引用(2010–2018) 软件作者： 帕拉维·乔希；Mayur Naik；公园、长秀；塞·库什克 相关软件： SLAM；蜗牛；可爱… 主要字段： 计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贾瓦维斯 4份文件引用(2002–2009) 软件作者： Oechsle，Rainer；托马斯·施密特 相关软件： 磁粉检测；聚乙烯醇；Jove… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
KeY ABS公司 4份文件引用(2015–2021) 软件作者： Din，Crystal Chang；理查德·布贝尔（Richard Bubel）；雷纳·哈内尔 相关软件： 防抱死制动系统；斯卡拉；算法864… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
备忘录 3份文件引用(2014–2020) 软件作者： 阿卜杜拉（Abdulla）、帕罗什·阿齐兹（Parosh Aziz）；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷兹 相关软件： 小卧室；Mcmt；检查围栏… 主要字段： 计算机科学（68-XX）
帕瓦内 4份文件引用(2002) 软件作者： G.-C.Roman、K.C.Cox、Donald Wilcox、Jerome Y.Plun 相关软件： 探戈；利奥纳多；宙斯… 主要字段： 计算机科学（68-XX）
跳跃 3份文件引用(2017–2021) 软件作者： 丁斯代尔·杨，托马斯；佩德罗·达罗查·平托；安徒生，克里斯托弗公正；拉尔斯·比克达尔 相关软件： 毒蛇；VeriFast；草蜢… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
C触发器 3份文件引用(2013–2016) 软件作者： Soyeon公园、山路、圆圆洲 相关软件： RacerX；PENELOPE公司；jPredictor… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
单子 3份文件引用(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·沃尔 相关软件： ACL2；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
对象货币 3份文件引用(1994–2013) 软件作者： 迈克尔·哈努斯（Michael Hanus）；Frank Huch；菲利普·尼德劳 相关软件： 奥兹；巴贝尔；PAKCS… 主要字段： 计算机科学（68-XX）
版次TPL 3份文件引用(2022–2023) 软件作者： 劳拉·博奇（Laura Bocchi）；伊凡·拉内斯；梅齐娜、克劳迪奥·安塔雷斯；袁，Shoji 相关软件： ProVerify公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
tccp公司 3份文件引用(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC-Pi；GHC；埃斯特雷尔… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
TVT电视 3份文件引用(2004–2022) 软件作者： 维塔宁，海基；亨利·汉森；安蒂·瓦尔马里；朱哈·尼米宁；蒂莫·埃尔基拉 相关软件： mCRL2；CADP；西尔万… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
爱丽丝 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： 卫星抗体 主要字段： ——
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
万能药 2份文件引用(2018–2022) 软件作者： Prountzos，D.，Manevich，R.，Pingali，K。 相关软件： PowerGraph；GraphX；SympleGraph… 主要字段： 计算机科学（68-XX）
哈尔_ 2份文件引用(1992–2000) 软件作者： 克里斯·霍克（Chris Houck）、古尔·阿加（Gul Agha） 相关软件： 蟒蛇；CHARM++；Oz… 主要字段： 计算机科学（68-XX）
米哈 2份文件引用(2020) 软件作者： 努诺·马查多；梅亚，弗朗西斯科；弗朗西斯科·奈维斯；科埃略，法比奥；何塞·佩雷拉 相关软件： DCatch；dBug；SAMC… 主要字段： 计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）
狼 2份文件引用(2005–2007) 软件作者： 沙龙·巴纳；Ziv Glazberg；Ishai Rabinovitz 相关软件： Java PathFinder 主要字段： 计算机科学（68-XX）
Complx公司 1份文件引用(2023) 软件作者： Amani，S.、Andronick，J.、Bortin，M.、Lewis，C.、Christine，R.、Tuong，J。 相关软件： seL4；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）
Dag-calculus公司 1份文件引用(2016) 软件作者： Acar，Umut A。；亚瑟·查古埃罗；迈克·雷尼；菲利普·西奇科夫斯基 相关软件： HJlib；西尔克 主要字段： 计算机科学（68-XX）
加洛瓦 1份文件引用(2023) 软件作者： 贾塔拉，V。；Dathathri，R。；吉尔·G。；Hoang，L。；南迪瓦达，V.K。；Pingali，K。 相关软件： IGA-ADS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）
尼比龙 1份文件引用(2008) 软件作者： Milovanovi'c，Milov s；罗杰·费雷尔（Roger Ferrer）；弗拉基米尔·加吉诺夫；奥斯曼·S·安萨尔。；阿德里安·克里斯塔尔（Adrian Cristal）；爱德华·艾瓜德；马特奥·瓦莱罗 相关软件： 堡垒 主要字段： 计算机科学（68-XX）
潘尼洛普 1份文件引用(2016) 软件作者： 弗朗西斯科·索伦蒂诺（Francesco Sorrentino）、阿扎德·法尔赞（Azadeh Farzan）、P.马杜苏丹（P.Madhusudan） 相关软件： C起重器；j预测值；ASM… 主要字段： 计算机科学（68-XX）
荆棘 1份文件引用(2019) 软件作者： Bloom，B.，Field，J.，Nystrom，N.，Östlund，J.、Richards，G.、Strniša，R.、Vitek，J.和Wrigstad，T。 相关软件： 稳定剂；圣人；Bigloo… 主要字段： 计算机科学（68-XX）
坦桑尼亚 1份文件引用(2017) 软件作者： 克里斯托弗·利德伯里（Christopher Lidbury）；阿拉斯泰尔·唐纳森。 相关软件： 螺纹消毒剂；多种族；CDS检查器… 主要字段： 计算机科学（68-XX）