PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）