( 1 ) 1 モデル検査のゲームシナリオへの適用 清木 昌 大山恵弘 米澤明憲 本論文では，モデル検査理論の応用としてコン ピュータゲームのシナリオスクリプトの検証を行う． RPG (Role Playing Ga
( 1 ) 1 モデル検査のゲームシナリオへの適用 清木 昌 大山恵弘 米澤明憲 本論文では，モデル検査理論の応用としてコン ピュータゲームのシナリオスクリプトの検証を行う． RPG (Role Playing Game) やアドベンチャーゲーム と分類される，ユーザの介入により動的にストーリー を変化させることを特徴とする種類のゲームにおい て，そのシナリオを記述しているスクリプトに対し てモデル検査を適用することにより，ゲームの品質テ ストにおいて重要なある種の性質を自動検証できる ことを示す．実験は実際の製品で用いられているデー タを元に行い，初期状態から各ブロックへの到達性や 各状態からエンディングへの到達可能性などを計約 5 分で検証し，実際に到達不能ブロックを発見すること に成功した． 1 はじめに ゲーム業界はソフトウェア産業の中で輸出が輸入を 大きく上回っている，国際競争
Spin Online References
The above material is not tutorial in nature, but meant as a reference for those familiar with the basic concepts. A more gentle introduction can be found in, for instance: The new Spin book the definitive description of the current version of Spin Overview.pdf, a tutorial overview to spin by Moti Ben-Ari, Tutorial_1.pdf, a tutorial introduction to spin (1 Mb) by Theo Ruys, Tutorial_2.pdf, advance
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium will be held in April 10-11 2023 in
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bibliography Gerard Holzmann
CS118 Winter Term 2023-2024
