SPINモデル検査入門

Author(s)

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

Bibliographic Information

SPINモデル検査入門

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

オーム社, 2010.3

Other Title

Principles of the Spin model checker

Title Transcription

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

Note

参考文献: p[235]-236

監訳: 中島震

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BB0158133X
• ISBN:
  • 9784274208447
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xx, 241p
• Size: 21cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.63
• Subject Headings:
  • BSH : ソフトウェア工学
  • NDLSH : ソフトウェア -- 品質管理