CertiKOS公司 在11份文件中引用(2017–2022) 软件作者： Gu，R.，Shao，Z.，Chen，H.，Wu，X.N.，Kim，J.，Sjöberg，V.，Costanzo，D。 相关软件： seL4；Coq；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Jinja线程 9份文件引用(2009–2020) 软件作者： A.洛赫比勒。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
C触发器 引用于3份文件(2013–2016) 软件作者： Soyeon公园、山路、圆圆洲 相关软件： RacerX；PENELOPE公司；jPredictor… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）