モデル検査ツールLTSAについてのメモ。 LTSAについてのリンク一覧は、garyoさんのはてぶから辿ればいい。 はてなブックマーク - Junk☆Bookmark臥龍 - LTSA 【他の参考資料】 LTSAによる組み込みソフトウエアのモデリングと動作検証 →これが一番分かりやすい。 LTSAというツールが状態遷移図のモデリングに大変有効である理由と例が説明されている。 特に組込み機器のように、デッドロックや並行性、セマフォなどを考慮する必要がある時に役立ちそう。 LTSA Tutorial ― Yamamoto Lab. Web Site →LTSAのツールの使い方が説明されている。分かりやすい。 Concurrency スライド →LTSAの英語本を大学の講義録として公開されている。読みやすい。 LTSA - Labelled Transition System Analyser →
![モデル検査ツールLTSAのメモ - プログラマの思索](https://cdn-ak-scissors.b.st-hatena.com/image/square/f5023cc76aa5502e2a40df5cca5d9a093c69f2db/height=288;version=1;width=512/https%3A%2F%2Fforza.cocolog-nifty.com%2F.shared-cocolog%2Fnifty_managed%2Fimages%2Fweb%2Fogp%2Fdefault.png)