阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UniTESK公司 14篇文献引用(2002–2015) 软件作者： 俄罗斯科学院系统编程研究所 相关软件： SpecExplorer；投掷；可爱… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TorX公司 16篇文献引用（2005年至2021年） 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SpecExplorer（SpecExplorer） 14篇文献引用(2005–2018) 软件作者： 微软研究院 相关软件： N模型；Java路径查找器；TorX… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
LTSA-WS公司 12份文件引用（2006年至2021年） 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
HOL-TestGen公司 6篇文献引用(2007–2018) 软件作者： 阿希姆·D·布鲁克、卢卡斯·布吕格、阿卜杜拉赫曼·费利亚奇、尚塔尔·凯勒、马蒂亚斯·P·克里格、德尔芬·朗格特、雅库布·内穆奇、费雷里克·通、伯克哈特·沃尔夫 相关软件： Isabelle/HOL；ETPS；科拉特… 主要字段： 计算机科学（68-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： 洛托斯；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卢特斯 5份文件引用(1999–2012) 软件作者： 杜布斯克，L。；Quabdeselam，F。；帕里西斯，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen公司；卢斯特；网关… 主要字段： 计算机科学（68-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
昏迷 2份文件引用(2016–2021) 软件作者： P Arcaini、A Gargantini、E Riccobene 相关软件： AsmetaSMV；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PrologCheck（序言检查） 引用于3份文件(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；麦利雪特；尼科塔·斯科布洛夫 相关软件： Aeon公司；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ADL2（ADL2） 2份文件引用(1995–2001) 软件作者： Masaharu Obayashi；久保田；Shane P.McCarron；莱昂内尔·马勒 相关软件： ADL公司 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
pdynmc公司 在0个文档中引用 软件作者： 马库斯·弗里奇（Markus Fritsch）、约阿希姆·施努布斯（Joachim Schnurbus）、安德鲁·阿德里安·尤帕（Andrew Adrian Yu Pua） 相关软件： 朱莉娅；plm；状态… 主要字段： –
快速恢复 在0个文档中引用 软件作者： Stefan Karlsson、Adnan Causevic、Daniel Sundmark 相关软件： RESTler公司；PostgreSQL；科特林… 主要字段： –
威士忌 1份文件引用(2018) 软件作者： Shao，D.，Khurshid，S.，Perry，D.E。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）