*LTSAまとめサイト [#e3937379] *LTSAとは [#l0006181] モデリング検査ツール *ダウンロード先 [#p9d22d8c] http://www.doc.ic.ac.uk/~jnm/book/ *使い方 [#k15a6f97] +日本語による解説 -[[ 並行システムのモデル化と分析 -- ツールLTSAを用いて>http://www.graco.c.u-tokyo.ac.jp/~tamai/concurrency.html]] +[[FSP Quick Reference>http://www.doc.ic.ac.uk/~jnm/book/ltsa/Appendix-A-2e.html]] -Finite State Processes -[[モデル検査(2)プロセス代数に基づくモデリング>http://www.google.co.jp/url?sa=t&ct=res&cd=4&url=http%3A%2F%2Flis2.huie.hokudai.ac.jp%2F~kurihara%2Fclasses%2FProgram%2Ffsp.ppt&ei=BMc-SPfrCo_ssgKZoqyUCw&usg=AFQjCNE0Bs_NuBBm5MdmNDNWEqg-w_w7Fw&sig2=bh2THKCPHTfk5sB3ijo-7w]]FSPの解説(日本語) *プラグイン [#v9b66c7c] **MSC [#c89c0a97] シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。ただしVer3.0では使えない -http://www.doc.ic.ac.uk/ltsa/msc/