Kedar S.Namjoshi。;薛安东 WebAssembly的自认证编译框架。 （英语） Zbl 1472.68032号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 127-148 (2021).MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.S.Namjoshi｝和\textit｛A.Xue｝，Lect。注释计算。科学。12597，127--148（2021；Zbl 1472.68032） 全文： 内政部
邓朝强;Kedar S.Namjoshi。 保护编译器转换。 （英语） Zbl 1425.68060号 表格方法系统。设计。 53，第2期，166-188（2018）.MSC公司：68N20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Deng}和\textit{K.S.Namjoshi}，《形式方法系统》。设计。53，第2号，166--188（2018；Zbl 1425.68060） 全文： 内政部
安妮·E·哈克斯豪森。;简·佩莱斯卡;塞巴斯蒂安·金德 铁路控制系统构建和验证的正式方法。 （英语） Zbl 1216.68076号 正式Asp。计算。 23，第2期，191-219（2011）.MSC公司：68号30 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Haxthausen}等人，《形式Asp》。计算。23，第2号，191--219（2011；Zbl 1216.68076） 全文： 内政部 哈尔
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 使用谓词抽象验证SpecC。 （英语） Zbl 1117.68046号 表格方法系统。设计。 30，第1期，5-28（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，《形式方法系统》。设计。30，第1号，第5--28号（2007；Zbl 1117.68046） 全文： 内政部
约夫·罗德;斯特里赫曼（Ofer Strichman） 构建小型等式图，以确定具有未解释函数的等式逻辑。 （英语） Zbl 1093.03013号 Inf.计算。 204，第1期，26-59（2006）.MSC公司：03B70号 03B25号 12升05 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman}，Inf.Comput。204，第1号，26-59（2006；Zbl 1093.03013） 全文： 内政部
勒诺尔·扎克;阿米尔·普努利;本杰明·戈德伯格;克拉克·巴雷特;方，易;胡，英 循环转换的翻译和运行时验证。 （英语） Zbl 1083.68555号 表格方法系统。设计。 27，第3期，335-360（2005）.MSC公司：68N20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}等人，《形式方法系统》。设计。27，第3号，335--360（2005；Zbl 1083.68555） 全文： 内政部
阿米尔·普努利;约夫·罗德;斯特里赫曼（Ofer Strichman）;迈克尔·西格尔 小模型属性：它能有多小？ （英语） Zbl 1012.03040号 Inf.计算。 178，第1期，279-293（2002）.MSC公司：03B70号 03B25号 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}等人，《信息计算》。178，编号1，279--293（2002；Zbl 1012.03040） 全文： 内政部
帕特里克·库索;拉迪亚·库索特 基于抽象解释的程序转换案例研究：阻塞命令消除。 （英语） Zbl 1260.68089号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，41-64（2001）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot}，电子。理论注释。计算。科学。45、41——64（2001年；Zbl 1260.68089） 全文： 内政部