CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

CVS書籍紹介

CVS著作書籍をご紹介いたします。このほか、テクニカルレポートのページもあわせてご覧ください。

◆CVS教程(2)「モデル検査 : 実践のための三つの技法(上級編)」・・2010/03/11NEW

本書は「モデル検査初級編」の続編となります、「数理的技法では厳密な 検査が可能である」とよく言われますが、使用者が厳密さを崩してしまう ような適用をしては意味がありません。本書では厳密性や正当性を崩さずに モデルをつくり改良する手段について説明します。無意識に使っていた 「なんとなく良さそうな方法」に理論的裏づけを与え、「確かによい方法」 として自信を持って検査できるようになるでしょう。

ISBN:9784764955066
著者:産総研システム検証研究センター
発行:ナノオプト・メディア
発売:近代科学社


◆CVS教程(1)「モデル検査 : 基礎から実践まで4日で学べる(初級編)」・・2009/11/24 NEW

本書はもともと、当研究センターとある企業との共同研究において、モデル検査をほとんど知らない技術者への教本として作られました。その後記述をより一般的になるように改良し、当研究センターが開発しているモデル検査研修コースのテキストして使用し改良を重ね、その結果今回本の形にまとめたものです。 CVSでは数理的技法に関する研修コースカリキュラム「CVS教程」を開発していますが、本書はCVS教程の入り口の一つとなるものです。

ISBN:9784764955059
著者:産総研システム検証研究センター
発行:ナノオプト・メディア
発売:近代科学社


◆CVS教程(1)「4日で学ぶモデル検査(初級編)」・・2006/06/08

※現在こちらの図書は入手できません。

正誤表 こちら から (注:別のウィンドウが立ち上がります。)

ISBN:9784860431198
著者:産総研システム検証研究センター
発行:株式会社エヌ・ティー・エス


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.