文献

J-GLOBAL ID：201202223874318414   整理番号：12A1613471

高次モデル検査による厳密なフロー解析

Exact Flow Analysis by Higher-Order Model Checking

著者 (3件)： TOBITA Yoshihiro (Tohoku Univ., JPN) ,  TSUKADA Takeshi (Tohoku Univ., JPN) ,  KOBAYASHI Naoki (Tohoku Univ., JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7294  ページ： 275-289  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： モデル検査 ,  フロー ,  解析