Monoidics Ltd., Japan
ブース番号
A-19
東京都港区虎ノ門5-13-1 虎ノ門40MTビル7F
[TEL] 03-4530-9760[URL] www.infer.jp
出展の見どころ
弊社は2011年6月日本法人を設立した英国ベースのツールベンダーです。Inferはソースコードを静的に解析し、関数単位でメモリーに関連する欠陥がないことを数学的に証明します。使われている形式手法 Separation Logicは、Monoidics設立者により初めて商用レベルで実用可能なツールとして技術確立されたものです。
Infer による欠陥の検知ならびに欠陥ゼロの証明機能によりソフトウエア開発の生産性&安全性を高めることが出来ます。

今回ET2011が初の国内イベントデビューとなります。
プレミアムパートナー CSI,Ctec,TechnoPro様との共同出展を行い、Inferの製品紹介ならびに国内サポートを含めた各種サービスのご紹介を行います。




【close】