NEWS
OCP-IPがコンプライアンスチェックの最新版をリリース
2011年5月17日、オープンコアプロトコル（OCP）の普及団体OCP-IPは、OCPコンプライアンスチェックの最新版のリリースを発表した。
機能チェックとアサーションから成る最新のコンプライアンスチェックは、OCPインタフェースの最新バージョン「OCP 3.0」に対応するもので、システムレベルからコンプライアンスチェックを実現。ユーザーはフォーマル検証やプロトコル・チェッカーの構築などで利用する事ができる。
最新のコンプライアンスチェックは、現在のところスポンサー・メンバーのみに限定的に提供中。OCPの次期バージョンに対応するコンプライアンスチェックの開発も進められているという。
｜ページの先頭へ｜