Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
埃夫罗斯托斯 3份文件引用(2019–2022) 软件作者： 阿内夫拉维斯，扎尼斯；丹尼尔·奈德（Daniel Neider）；马修·菲利普；保罗·塔布阿达 相关软件： R2U2；猫头鹰；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）