スマートコントラクトの実行モデルを表現するための、データ対応型有限状態機械ツールTRAC

TRACは、分散アプリケーションの調整を支援するツールである。有限状態機械(FSM)を使ってコーディネーションプロトコルを仕様化し、データ変数の更新と参加者の役割を明示的に表現できる。TRACは、このようなデータ対応型FSM(DAFSM)の適切性を検証する。