卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin Mohring，C.教授。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数理逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
BoogiePL公司 在11份文件中引用(2005–2020) 软件作者： DeLine，R.、Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
BitBlaze公司 7份文件引用(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
中国注册号++ 8份文件引用(2018–2024) 软件作者： 瓦西奇，马尔科；戴维·索洛维奇克（David Soloveichik）；萨尔夫拉兹·库希德 相关软件： 生物CHAM；github；AI2… 主要字段： 实函数（26-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SIMP公司 2份文件引用(2013–2019) 软件作者： De Angelis，Emanuele；费奥拉万蒂（Fabio Fioravanti）；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂 相关软件： LOGEN公司；PPL；HSF… 主要字段： 计算机科学（68-XX）
BGSL公司 1份文件引用(2023) 软件作者： 史蒂夫·邓恩（Steve Dunne）；费雷拉，乔昂·F。；亚历山大·门德斯（Alexandra Mendes）；坎贝尔·里奇；比尔·斯托达特（Bill Stoddart）；泽达，弗兰克 相关软件： —— 主要字段： 计算机科学（68-XX）
Complx公司 1份文件引用(2023) 软件作者： Amani，S.、Andronick，J.、Bortin，M.、Lewis，C.、Christine，R.、Tuong，J。 相关软件： seL4；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）