seL4级 95篇文献引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.、Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.、Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
旋风 30篇文献引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫（Luke Hornof）；吉姆·特雷弗 相关软件： 哈斯克尔；CCured；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
回路 在24份文件中引用（2001年至2012年） 软件作者： 约阿希姆·范登伯格；巴特·雅各布斯 相关软件： JML；PVS；卡拉卡拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
西格玛* 14篇文献引用（2013年至2022年） 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
仄洛斯 6篇文献引用（2013年-2023年） 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达瓦 4份文件引用(2002–2011) 软件作者： Jerome Miecznikowski；劳丽·亨德伦 相关软件： FlowDroid；ESC/Java；方面J… 主要字段： 计算机科学（68-XX）
米隆加 2份文件引用(2002–2008) 软件作者： 布鲁诺，北。；海因茨，J。；马特拉，G。；Wachenchauzer，R。 相关软件： 投射Noether；克罗内克；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
BNF转换器 1份文件引用(2006) 软件作者： 迈克尔·佩劳尔（Michael Pellauer）；马库斯·福斯伯格；阿内·兰塔 相关软件： 哈斯克尔；IFT博士；Agda… 主要字段： 计算机科学（68-XX）