南黄弘;Madhusudan,P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 (英语) Zbl 1147.68052号 形式方法系统。设计。 32,第3期,207-234(2008).MSC公司:60年第68季度 第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人,《形式方法系统》。设计。32,第3号,207--234(2008;Zbl 1147.68052) 全文: 内政部
萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 通过组件可替代性分析验证正在发展的软件。 (英语) Zbl 1147.68047号 形式方法系统。设计。 32,编号3,235-266(2008).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。32,编号3,235--266(2008;Zbl 1147.68047) 全文: 内政部 链接
阿努巴夫·古普塔;麦克米兰,K.L。;傅朝辉 成分验证的自动假设生成。 (英语) Zbl 1147.68050号 形式方法系统。设计。 32,第3期,285-301(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,《形式方法系统》。设计。32,编号3285--301(2008年;兹bl 1147.68050) 全文: 内政部
科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林杰 学习分而治之:应用(L^*)算法自动进行假设保证推理。 (英语) Zbl 1147.68053号 形式方法系统。设计。 32,第3期,175-205(2008).MSC公司:60年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{C.S.PSreanu}等人,《形式方法系统》。设计。32,第3号,175--205(2008;Zbl 1147.68053) 全文: 内政部
萨加·查基;斯特里赫曼(Ofer Strichman) 用(L^{*})对假设保证推理进行了三种优化。 (英语) Zbl 1147.68569号 形式方法系统。设计。 32,第3期,267-284(2008).MSC公司:60年第68季度 68问题85 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{O.Strichman},形式方法系统。设计。32,第3号,267--284(2008;Zbl 1147.68569) 全文: 内政部