卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink；…模拟链接… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Freshml公司 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；Reo；LUSTRE… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
FScaFi公司 1份文件引用(2021) 软件作者： 罗伯特·卡萨迪（Roberto Casadei）、米尔科·维罗利（Mirko Viroli）、乔治·奥德里托（Giorgio Audrito）、费鲁西奥·达米亚尼（Ferruccio Damiani） 相关软件： TuSoW；变形杆菌；xarray… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LEMMA公司 1份文件引用(2002) 软件作者： L.Baresi、F.Consorti、M.Di Paola、A.Gargiulo、M.Pezzè 相关软件： MetaEnv；MetaEdit+；Uppaal公司 主要字段： 计算机科学（68-XX）
PTaCL公司 1份文件引用(2012) 软件作者： 杰森·克兰普顿（Jason Crampton）；查尔斯·莫里塞特 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）