LTSA-Delforgeのグラフィク機能

LTSAで作成した状態図を出力する場合pctフォーマットだけだったが,Cedric Delforgeと言う人が修士論文の成果としてSVGフォーマットでも出力できるようにしてくれた.と言っても最近の話では無く2013から使えたらしいが今まで気付かなかった.何が嬉しいかというと

  • グラフィクの編集ができる.ドラグして状態の位置を変えることができる.
  • ナビゲーション機能を使って到達可能な状態を可視化できる.これは,前進後退が可能.
  • SVG出力ができる.

関連情報

1.LTSA-Delforge

Article Info

created: 2021年 10月 13日 水曜日 18:09:35 JST
modified: 2021年 10月 13日 水曜日 18:09:35 JST
views: 181
keywords: モデル検査, LTSA
prev:検査用モデルの作り方 next:動作ベースと状態ベースの仕様記述について

Social Links




(C) 2021 Laboratory Design