出展物紹介

「フォーマル検証ツールが収束しない」、「現在使用中のフォーマルテストベンチの完成度について知りたい」、などの課題を持たれている方は、是非Oski社ブース(C-12)にお立ち寄りください。世界唯一のフォーマル検証手法の専門ベンダーのOski社は、フォーマル・サインオフ手法のデモと、Oski社独自の抽象化モデルが、フォーマル検証を60万倍改善した事例をご紹介いたします。貴社のフォーマル検証の課題について、弊社のフォーマル検証エキスパートと議論できる機会を活用するチャンスです!!!