ステートマシンと要件の等価性の検証
組み込みシステムの想定される動作を表すステートマシンが一連のテキスト要件と一致しているかどうかを、どのように確認できまるでしょうか？STIMULUSを使用してステートマシンが実際にテキスト要件と同等であることを検証する方法をご紹介します。
