SPINモデル検査入門

著者

• Ben-Ari, M.
• 谷津, 弘一 ヤツ, ヒロカズ
• 野中, 哲 ノナカ, アキラ
• 足立, 太郎 アダチ, タロウ
• 中島, 震 ナカジマ, シン

書誌事項

SPINモデル検査入門

Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳

オーム社, 2010.3

タイトル別名

Principles of the Spin model checker

タイトル読み

SPIN モデル ケンサ ニュウモン

注記

参考文献: p[235]-236

監訳: 中島震

内容説明・目次

目次

• ＰＲＯＭＥＬＡ逐次モデル記述
• 逐次モデル記述の検証
• 並行性
• 同期機構
• 時相論理による検証
• データとモデル記述の構造
• 通信チャネル
• 非決定性
• ＰＲＯＭＥＬＡの高度な使い方
• ＳＰＩＮの高度な話題
• ケーススタディ

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB0158133X
• ISBN:
  • 9784274208447
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xx, 241p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.63
  • NDC9 : 007.63
• 件名:
  • BSH : ソフトウェア工学
  • NDLSH : ソフトウェア -- 品質管理