文献

J-GLOBAL ID：200902207550441700   整理番号：03A0745976

モデル検査技術を利用したプログラム解析器の生成ツール

Generation of Program Analyzer Based on Model Checking

著者 (4件)： 山岡裕司 (東大 大学院情報理工学系研究科) ,  HU Z (東大 大学院情報理工学系研究科) ,  武市正人 (東大 大学院情報理工学系研究科) ,  小川瑞史 (東大 大学院情報理工学系研究科)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 44  号： SIG13(PRO18)  ページ： 25-37  発行年： 2003年10月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,時相論理式によって仕様が記述されたプログラム解析...

シソーラス用語： *モデル検査 ,...
準シソーラス用語： ソフトウェアツール ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0745976&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (2件)： 計算理論  (JB02000A) ,  言語プロセッサ  (JD03040F)

引用文献 (12件)：

• AHO, A. Principles of Compiler Design. 1977
• CLARKE, E. Model Checking. 1999
• CORBETT, J. C. Bandera : extracting finite-state models from Java source code. International Conference on Software Engineering, 2000. 2000, 439-448
• HOLZMANN, G. J. The Model Checker SPIN. Software Engineering. 1997, 23, 5, 279-295
• LACEY, D. Proving correctness of compiler optimizations by temporal logic. Symposium on Principles of Programming Languages, 2002. 2002, 283-294

タイトルに関連する用語 (3件)： モデル検査技術 ,  プログラム解析 ,  ツール