亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《表格方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: DOI程序 OA许可证
约翰·佩尼克斯;威廉·维瑟;SeungJoon公园;科琳娜·帕萨雷努;埃里克·恩斯特罗姆;亚伦·拉尔森;尼古拉斯·威宁格 验证DEOS调度内核中的时间分区。 (英语) Zbl 1083.68575号 形式方法系统。设计。 26,第2期,103-135(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Penix}等人,《形式方法系统》。设计。26,第2号,103--135(2005;Zbl 1083.68575) 全文: DOI程序