埃米尔森·佩雷拉·莱特(编辑) MATLAB–建模、编程和仿真。 (英语) Zbl 1213.68014号 里杰卡:Sciyo(ISBN 978-953-307-125-1)。vii,第442页。(2010).MSC公司:68-04 68单位07 68岁20岁 93亿B51 68-06 90-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Pereira Leite}(编辑),MATLAB——建模、编程和仿真。里耶卡:Sciyo(2010年;兹比尔1213.68014)
R·德雷克斯勒。;Eggersglüß,S。;费伊,G。;蒂尔,D。 使用布尔证明引擎生成测试模式。 (英语) Zbl 1189.68029号 多德雷赫特:施普林格(ISBN 978-90-481-2359-9/hbk;978-90-4081-2360-5/电子书)。xii,192页。(2009).MSC公司:68M99型 2002年8月 68单位07 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}等人,使用布尔证明引擎生成测试模式。多德雷赫特:施普林格(2009;Zbl 1189.68029) 全文: 内政部
Lahiri,Shuvendu K。;Sanjit A.Seshia。;Randal E.布莱恩特。 UCLID中无序微处理器的建模和验证。 (英语) Zbl 1019.68623号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 142-159 (2002).MSC公司:68单位07 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}等人,Lect。注释计算。科学。2517、142--159(2002年;Zbl 1019.68623) 全文: 链接
月亮,In-Ho;郭熙华;詹姆斯·库库拉;托马斯·希普尔;卡尔·皮克斯利 使用参数表示简化电路以进行形式验证。 (英语) Zbl 1019.68626号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 52-69 (2002).MSC公司:68单位07 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.-H.Moon}等人,Lect。注释计算。科学。2517、52-69(2002年;Zbl 1019.68626) 全文: 链接
潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋(Wang,Dong) 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 (英语) Zbl 1019.68618号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 33-51 (2002).MSC公司:68单位07 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chauhan}等人,Lect。注释计算。科学。2517、33-51(2002年;Zbl 1019.68618) 全文: 链接