鲍尔,托马斯;Shuvendu K.拉希里。;马丹拉尔·穆苏瓦蒂 Zap:软件分析的自动定理证明。 (英语) Zbl 1143.68576号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835,2-22(2005)。MSC公司:68吨15 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}等人,Lect。注释计算。科学。3835,2-22(2005年;兹bl 1143.68576) 全文: 内政部
Shuvendu K.拉希里。;Randal E.布莱恩特。;拜伦·库克 谓词抽象的符号方法。 (英语) 兹比尔1278.68181 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 141-153 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}等人,Lect。注释计算。科学。2725141--153(2003年;Zbl 1278.68181) 全文: 内政部
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。注释计算。科学。25171942-159(2002年;兹bl 1019.68623) 全文: 链接
Randal E.布莱恩特。;Shuvendu K.拉希里。;Sanjit A.Seshia。 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 (英语) Zbl 1010.68522号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 78-92 (2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}等人,Lect。注释计算。科学。2404、78——92(2002年;Zbl 1010.68522) 全文: 链接