STeP公司 33篇文献引用(1997–2015) 软件作者： N.Bjørner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件： PVS；自旋蛋白；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
JTLV公司 6篇文献引用（2012年至2020年） 软件作者： 阿米尔·普努埃利（Amir Pnueli）、亚尼夫·萨阿尔（Yaniv Sa'ar）、勒诺尔·扎克（Lenore D.Zuck） 相关软件： RATSY公司；CUDD；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Stabhyli公司 5份文件引用(2013–2020) 软件作者： 莫尔曼，艾克；奥利弗·泰尔 相关软件： 复仇者；SpaceEx；PPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
导线 引用于3份文件(2018–2021) 软件作者： 卡米利，马特奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： MongoDB；开放星云；沙发数据库… 主要字段： 计算机科学（68-XX）
CAVA公司 2份文件引用(2018–2019) 软件作者： 朱利安·布伦纳；彼得·兰米奇（Peter Lammich）；等。 相关软件： 石笼SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
跳鼠 2份文件引用(2014–2022) 软件作者： 哈基姆·贝哈瓦里；阿诺德，阿格内斯；勒加尔，帕斯卡尔；托马斯·贝雷特 相关软件： GP 2；富贾巴；GrGen… 主要字段： 计算机科学（68-XX）