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 was held April 10-11 2024 in Luxembo

[atotto]

形式検証

[tanakaBox]

モデル検査ツール

[kirakking]

必要になったら勉強しよう。時相論理と状態遷移系の知識が必要である、と聞いたけど

[fcicq]

spin model checker

[koemu]

モデルテスト。主に組み込みで使われていたが、手順書のテストでも用いる事ができる。

[lEDfm4UE]

spin,formal verification

[ruicc]

形式手法ツールの一つ

[bosatsumiroku]

spin モデル検査

[ultraquiz]

SPIN モデル検査

[ogijun]

あとで読む

[kennak]

シナリオや企画書の整合性を確かめるためにXMLを使う