图拉法勒 12份文件引用(2004–2012) 软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉 相关软件: Spi2Java;ProVerify;AVISPA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
RADA公司 4份文件引用(2015–2018) 软件作者: Pham,T.,Whalen,M.W。 相关软件: CVC4;z3;大锤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)