VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
朱格朗特 3份文件引用(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）