中島震の一覧

「中島震」の新着作品・人気作品や、最新のユーザーレビューをお届けします!

作品一覧

2018/04/21更新

ユーザーレビュー

  • Bメソッドによる形式仕様記述
    抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。
    抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。
    集合論的に厳密に記述していくのがミソのようです。
    Refinementという段階的詳細化をしていって実装...続きを読む
  • SPIN モデル検査:検証モデリング技法
    初心者向けSPINの実用書です。

    SPINとは、"Simple Promela Interpreter"の略で、"Promela"は、Gerard J. Holzmannが作った並列処理を伴う状態遷移(オートマトン)を記述できる形式仕様記述言語のことです。
    この本は、実例(Promelaプログ...続きを読む

新規会員限定 半額クーポンプレゼント!