交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RALib公司 6篇文献引用(2016–2022) 软件作者： Cassel S、Howar F、Jonsson B 相关软件： LearnLib；西格玛*；XMPP… 主要字段： 计算机科学（68-XX）