利米 4份文件引用(2015–2019) 软件作者： 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利斯；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
利斯 4份文件引用(2015–2019) 软件作者： 乔恩，《Pavol作者简介》；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利米；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
利特姆斯 4份文件引用(2012–2021) 软件作者： Calandrino，J.M。；Leontyev，H。；区块A。；加州大学Devi。。。 相关软件： PESPLib；羽毛履带 主要字段： 计算机科学（68-XX）