エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
SPIN Installation (JSSST formal method tutorial)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
SPIN Installation (JSSST formal method tutorial)
SPIN インストール方法 このページでは,チュートリアル“モデル検査を用いたソフトウェアの形式検証”の... SPIN インストール方法 このページでは,チュートリアル“モデル検査を用いたソフトウェアの形式検証”のための Windows 用 SPIN システムのインストールと起動の方法をご説明します.なお,SPIN とその インストールに関するより一般的な情報は,こちらやこちらをご覧下さい. [インストール方法] Windows 用 SPIN システムを快適に利用するためには,Cygwin,Tcl/Tk,XSPIN の 3 つの システムをインストールする必要があります.以下のものをダウンロード & インストール して下さい.なお,インストールには 100MB 程度の空きディスク容量が必要です. Cygwin インストーラ [ダウンロード] ダウンロードしたファイルを実行してください..途中インストールパッケージ の選択のとき,Devel の下の gcc-core: C compiler のバ