文献

J-GLOBAL ID：201202228870280503   整理番号：12A1149987

変更されていないスレッドベースのC&C++プログラムのLTLモデル検査に向けて

Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

著者 (3件)： BARNAT Jiri (Masaryk Univ., Brno, CZE) ,  BRIM Lubos (Masaryk Univ., Brno, CZE) ,  ROCKAI Petr (Masaryk Univ., Brno, CZE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7226  ページ： 252-266  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： モデル検査