违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
CD光盘++ 8份文件引用(2002–2010) 软件作者： 加布里埃尔·韦纳 相关软件： —— 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
HASL公司 6篇文献引用（1986年至2016年） 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： COSMOS；Uppaal公司；棱镜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
vlogsl语言 3份文件引用（2011年至2013年） 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
混合跟踪验证程序 2份文件引用(2012–2017) 软件作者： 黄振奇；萨扬·密特拉 相关软件： GRKLib；S-TaLiRo；状态流… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MATF公司 1份文件引用(2020) 软件作者： M.S.Khan。；M.I.Khan。；苏联马利克。；Khalid，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）