MoDeST公司 引用于33份文件(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal公司；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
可视化状态 7份文件引用(1999–2010) 软件作者： 林德·尼尔森，约恩；安徒生、亨利克·雷夫；亨利克·胡尔加德（Henrik Hulgaard）；Gerd Behrmann；Kristoffersen，科勒；金·拉森 相关软件： CBMC；APS；NuSMV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
occam-pi型 6篇文献引用(2005–2021) 软件作者： 彼得·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
库存流量 3份文件引用(2023–2024) 软件作者： 约翰·贝兹（John Baez）；李晓燕；索菲·利坎德；纳撒尼尔·D·奥斯古德（Nathaniel D.Osgood）。；埃文·帕特森 相关软件： 代数朱莉娅；github；斯特拉… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
代数朱莉娅 2份文件引用(2023–2024) 软件作者： AlgebraicJulia团队 相关软件： 库存流；github；斯特拉… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
网络草图 2份文件引用（2010年至2012年） 软件作者： 阿泽州贝斯塔夫罗斯；阿萨夫·科福尔；笔记本电脑，Andrei；迈克尔·J·奥森。 相关软件： 伊莎贝尔；自旋蛋白；马蒂塔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
欧米茄++ 1份文件引用(2015) 软件作者： 阿桑卡亚·夏尔马；王胜毅；安德烈亚·科斯蒂亚；阿奎那·霍伯；魏恩根·钦 相关软件： HIP；Isabelle/HOL；Coq公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）