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

ここからは会員の登録が必要です。