Verification Engineerの戯言 Mentor社のinFactと同様なツールとして、Breker Verification Systems社のTerkがあります。 inFactは、ルールをテキストで作成し、そのルールからテストベンチを生成するというものです。 一方、Terkは、シーケンス図をグラフィ…