UMLと形式手法のハイブリッド仕様が鍵となるか

田町レーシングのモデル　コード変化の検知をするためにどういうパラメータがあり、演算をすると、その結果が範囲が出せるかというのを記載している