Introduces unfoldings, an approach to model checking which alleviates thestate explosion problem by means of concurrency theory. This work offers anintroduction to the basics of the method, and details an unfolding-basedalgorithm for model checking concurrent systems against properties specifiedas formulas of linear temporal logic (LTL).
【eBookご利用の注意点】この商品をご利用するには、ソフトウェア「Adobe Digital Editions」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●動作環境：Windows　XP/Vista/７、MAC OSX　●ダウンロード回数3回まで　●同一AdobeIDの端末でファイルの共有が可能（台数制限あり）　●印刷不可　●その他ご利用条件については、ご利用規約をご確認ください。
※この商品のご購入は、教育機関、医療機関若しくは企業その他の団体に所属する「個人」の方が対象となります。図書館・図書室ではご購入いただけません。