フォーマル検証に特化したサービス/コンサルティング企業である米Oski Technology社は、「EDSFair 2013」(2013年11月20日~22日にパシフィコ横浜で開催)に出展した。同社がEDSFに出展するのは今回が初めてである。

この先は会員の登録が必要です。有料会員(月額プラン)は登録月無料!