科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ENFORCe公司 引用于3份文件(2019–2020) 软件作者： Azab，K.，Habel，A.，Pennemann，K.H.，Zuckschwerdt，C。 相关软件： OCLinEcore公司；OCL2AC；AGG… 主要字段： 计算机科学（68-XX）
艾丽尔 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）