ホーム » プレスルーム

プレスリリース

米国Averant,Inc、自動フォーマル検証ツールSolidCheckを発表(2007/1/23)



2007年1月23日
News Release

アベラント社(Averant, Inc.)は、自動フォーマル検証ツール
SolidCheckのリリースを発表しました。
SolidCheckは、環境構築も非常に簡単で、
フォーマル検証技術についての知識も必要ありません。
SVAやPSLなどのプロパティ言語を知らなくても、
使い始めたその日から、静的機能検証を実行することができ、
静的フォーマル検証を非常に簡単に低コストで導入ができます。
2007年10月31日までは、プロモーション価格にて、さらに
リーズナブルなご提供をいたします。

【お問い合わせ先】
株式会社ガイア・システム・ソリューション
Tel. 03-3443-9720
担当:高田