恰当的 33篇文献引用(2015–2023) 软件作者： Schlachter，U.等人。 相关软件： github；石化；Synet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BISIMULATOR（双模拟） 9份文件引用(2005–2022) 软件作者： 达米恩·贝尔加米尼；尼古拉斯·德苏贝斯（Nicolas Descoubes）；克利斯朵夫·朱伯特；拉杜·马特埃斯库 相关软件： M-树；CADP；Exp.打开… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
VMC公司 5份文件引用(2015–2020) 软件作者： 莫里斯·比克。；弗朗科·马扎蒂（Franco Mazzanti）；阿尔迪·苏洛娃 相关软件： DeltaCCS；MSTA；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）