Tsachouridis，Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期（2020年）.MSC公司：65层10 15A09号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2，177--206（2020；Zbl 1458.65035） 全文： 内政部
辛齐亚·伯纳德斯基;安德烈亚·多梅尼奇 通过原型验证系统的交互式定理证明，验证非线性控制的安全特性。 （英语） Zbl 1356.68177号 信息处理。莱特。 116，第6号，409-415（2016）.MSC公司：68吨15 第68季度第60季度 93立方厘米10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici}，Inf.过程。莱特。116，第6号，409--415（2016；Zbl 1356.68177） 全文： 内政部 链接
大卫·布雷索林;卢卡·格雷蒂;蒂齐亚诺别墅;彼得·柯林斯 混合系统验证介绍阿里阿德涅. （英语） Zbl 1403.93108号 van Schuppen，Jan H.（编辑）等人，分布式系统的协调控制。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学讲义》456339-346（2015）。MSC公司：93立方 93B40码 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。票据控制信息科学。456339-346（2015；Zbl 1403.93108） 全文： 内政部