塞林克 软件作者：丹尼尔·斯科佩（Daniel Schoepe）；丹尼尔·赫丁（Daniel Hedin）；安德烈·萨贝尔菲尔德 引用于： 2出版物（2014-2017） 相关软件： K校准仪；链接；JSLINQ公司；F*；KJS；网址（Ur/Web）… 主要字段： 计算机科学（68-XX）
CoCon公司 软件作者：安德烈·波佩斯库；彼得·兰米奇（Peter Lammich）；侯萍 引用于： 1出版物（2021年） 相关软件： CoSMed；存档正式证据；FlowFox；JRIF；CAVA LTL模型检查器；网址（Ur/Web）… 主要字段： 计算机科学（68-XX）