モデル検査法の２５年（LNCS 5000巻記念論文集)
25 Years of Model Checking
History, Achievements, Perspectives
Lecture Notes in Computer Science
Grumberg, Orna (EDT)
Veith, Helmut (EDT)
- 内容紹介：
-
本書では、2007年のチューリング賞受賞の功績を称え、Edmund Clarke, Allen Emerson, Jean-Pierre Queille, Joseph Sifakisによるモデル検査法の先駆けとなった論文を複写版で収録。LNCS 5000巻記念論文集：モデル検査法は、LNCSに発表された論文が先駆けとなって確立したトピックであり、LNCS 5000巻刊行を記念して、「モデル検査法」の先駆けとなった論文を現在無料で公開している。Sublibrary: Theoretical Computer Science and General Issues.