弗兰乔·伊万契奇;杨紫江;马来K·加奈。;阿尔蒂·古普塔;普拉纳夫·阿沙尔 用于软件验证的高效SAT有界模型检查。 （英文） Zbl 1293.68079号 西奥。计算。科学。 404，编号3，256-274（2008）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Ivanć}等人，Theor。计算。科学。404，第3号，256--274（2008；Zbl 1293.68079） 全文： 内政部
马来K·加奈。;阿尔蒂·古普塔;普拉纳夫·阿沙尔 DiVer：用于验证大型系统的基于SAT的模型检查平台。 （英文） Zbl 1087.68588号 Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440575-580（2005）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Ganai}等人，Lect。注释计算。科学。3440575--580（2005年；Zbl 1087.68588） 全文： 内政部
马来K·加奈。;阿尔蒂·古普塔;普拉纳夫·阿沙尔 有界模型检测中嵌入式存储器的高效建模。 （英文） Zbl 1103.68615号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，440-452（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.K.Ganai｝等人，Lect。注释计算。科学。311440--452（2004；Zbl 1103.68615） 全文： 内政部
马来K加奈;阿尔蒂·古普塔;杨紫江;普拉纳夫·阿沙尔 高效的分布式SAT和基于SAT的分布式有界模型检查。 （英文） Zbl 1179.68084号 Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。勒克特。注释计算。科学。2860, 334-347 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K Ganai}等人，Lect。注释计算。科学。2860334--347（2003年；Zbl 1179.68084） 全文： 内政部