モデル検査ツール > SPIN

パラメーターエラー