文献

J-GLOBAL ID：200902039806222912   整理番号：84A0036003

一時論理記述を用いた有限状態同時システムの自動検証 実験的アプローチ

Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach.

著者 (3件)： CLARKE E M (Carnegie-Mellon Univ., PA) ,  EMERSON E A (Univ. Texas, Austin) ,  SISTLA A P (Harvard Univ., MA)
資料名： Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻： 10th  ページ： 117-126  発行年： 1983年 
JST資料番号： D0069B  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 有限状態同時システムを検証する効率的手続を与える。このアルゴ...

シソーラス用語： プログラム検証 ,...

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

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

タイトルに関連する用語 (4件)： 論理 ,  記述 ,  検証 ,  実験