モデル検査法の２５年（LNCS 5000巻記念論文集) 25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉

モデル検査法の２５年（LNCS 5000巻記念論文集)<br>25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉

モデル検査法の２５年（LNCS 5000巻記念論文集)
25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉

Grumberg, Orna (EDT)/ Veith, Helmut (EDT)

Springer（2008発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 231 p.
商品コード 9783540698494

基本説明

本書では、2007年のチューリング賞受賞の功績を称え、Edmund Clarke, Allen Emerson, Jean-Pierre Queille, Joseph Sifakisによるモデル検査法の先駆けとなった論文を複写版で収録。LNCS 5000巻記念論文集：モデル検査法は、LNCSに発表された論文が先駆けとなって確立したトピックであり、LNCS 5000巻刊行を記念して、「モデル検査法」の先駆けとなった論文を現在無料で公開している。
Sublibrary: Theoretical Computer Science and General Issues.

Full Description

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.