HOL-TestGen公司 6篇文献引用(2007–2018) 软件作者： 阿希姆·D·布鲁克、卢卡斯·布吕格、阿卜杜拉赫曼·费利亚奇、尚塔尔·凯勒、马蒂亚斯·P·克里格、德尔芬·朗格特、雅库布·内穆奇、费雷里克·通、伯克哈特·沃尔夫 相关软件： Isabelle/HOL；ETPS；科拉特… 主要字段： 计算机科学（68-XX）
UPF防火墙 1份文件引用（2018年） 软件作者： Achim D.Brucker、Lukas Brügger、Burkhart Wolff 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）