文献

J-GLOBAL ID：200902284090876023   整理番号：06A0246948

時相論理の充足可能性判定器のための論理式生成法

A Method to Generate Formulae for Temporal Logic Satisfiability Checkers

著者 (7件)： 関沢俊弦 (JST-CREST) ,  関沢俊弦 (産業技術総合研) ,  高井利憲 (JST-CREST) ,  高井利憲 (産業技術総合研) ,  田辺良則 (JST-CREST) ,  田辺良則 (産業技術総合研) ,  高橋孝一 (産業技術総合研)
資料名： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
巻： J89-D  号： 4  ページ： 642-650  発行年： 2006年04月01日 
JST資料番号： S0757C  ISSN： 1880-4535  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 時相論理などの充足可能性判定器の性能評価のためには,アルゴリ...

シソーラス用語： *時間論理 ,...
準シソーラス用語： 充足可能性判定 ,...

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

分類 (1件)： 計算理論  (JB02000A)

引用文献 (14件)：

• P. Balsiger, A. Heuerding, and S. Schwendimann, “A benchmark method for the propositional modal logics K, KT, S4,” J. Automated Reasoning, vol.24, no.3, pp. 297-317, 2000.
• E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 2000.
• M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, “Paterns in property specifications for finite-state verification,” Proc.21st International Conference on Software Engineering, May 1999.
• E. A. Emerson, “Temporal and modal logic,” in Handbook of Theoretical Computer Science, vol. B, chap. 16, pp. 995-1072, Elsevier and MIT Press, 1990.
• E. A. Emerson and E. M. Clarke, “Using branchingtime temporal logic to-synthesize synchronization skeltons,” Science of Computer Programming, vol.2, no.3, pp. 241-266, 1982.

タイトルに関連する用語 (3件)： 時相論理 ,  充足可能性 ,  論理式