纪尧姆·梅尔金德;拉斐尔·里乌·赫尔夫特 WhyMP,一个正式验证的任意决策整数库。 (英语) 兹伯利07589741 J.塞姆。计算。 115, 74-95 (2023).MSC公司:68新元 68泰克 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Melquiond}和\textit{R.Rieu-Helft},J.Symb。计算。115、74-95(2023年;Zbl 07589741) 全文: 内政部
戴丽云;甘婷;夏碧灿;詹乃军 重审屏障证书。 (英语) Zbl 1357.68110号 J.塞姆。计算。 80,第1部分,62-86(2017).MSC公司:60年第68季度 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人,J.Symb。计算。80,第1部分,62--86(2017;Zbl 1357.68110) 全文: 内政部 arXiv公司
彼得·施拉梅尔;贝特朗·珍妮特 将抽象加速应用于反应式程序的(协同)可达性分析。 (英语) Zbl 1286.68092号 J.塞姆。计算。 47,第12期,1512-1532(2012).MSC公司:68纳米30 60年第68季度 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}和\textit{B.Jeannet},J.Symb。计算。47、第12号1512-1532(2012;Zbl 1286.68092) 全文: 内政部
米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 (英语) Zbl 1069.68119号 J.塞姆。计算。 35,第2期,73-106(2003).MSC公司:68立方厘米 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Velev}和\textit{R.E.Bryant},J.Symb。计算。35、第2号、第73-106号(2003年;Zbl 1069.68119) 全文: 内政部