開発、AiPGv1.0の販売を開始いたしました。・AiPGは、ネットワーク型並列分散処理を行います。・加えて、当社のミッションはお客さまのプロパティ要求を聞き、これをAiPGに組込み自動化させる事にあります。・検証の自動化と並列処理による高速化を特長とするAiPGを、ぜひ、プロパティ・チェッカとしてご検討下さい。・当社は、お客さまニーズをAiPGに組込む、サポート・オリエンテッドなカンパニーです。・AiPGのエンジンBoolectorが、2012年コンペでレジスタ&メモリ部門で各1位となりました。下にAiPGドキュメントpdfがあります。ご参照頂ければ幸いです。AutomaticPropertyExtractionAiPGは、網羅的検証を行います。Pair対抗させて検証する事も行います。検証対象の抽出自動化が重要、と考えます。標準10並列、時代は並列化です。SolverBoolectorAiPGは、世界最高速探索エンジンSMTソルバBoolectorを搭載しています。