米Averant、フォーマル検証ツール「Solidify」をバージョンアップ>>検証管理機能と新たなカバレッジエンジンを追加

2007年5月31日、フォーマル検証ツールを手掛ける、米Averant社は、「Solidify」のバージョンアップを発表した。

最新バージョン「Solidify 5.0」の目玉となるのは、ツールに搭載される検証サポート機能「GPS（Guided Proof System）」のバージョンアップと新たなカバレッジ・エンジンの追加で、新しい「GPS 2.0」によって無駄な再検証を省略する検証管理が可能となり、プロパティの証明をより厳格なものとする「Automated hierarchical verification」という新機能も追加された。

その他、SVA、PSL、HPLの「$isunknown」がサポートされたほか（プロパティをチェックするツールとしては業界初）、複数CPUによる分散処理にも対応し、リニアに処理速度を向上できるようになった。