フォーマル検証のReal Intentが2012 Best of Sunnyvale Awardを受賞
2012年9月14日、フォーマル検証を中心とした検証ツールを手掛ける米Real Intent社は、同社が2012 Best of Sunnyvale Awardを受賞したことを発表した。
Best of Sunnyvale Awardは、毎年サニーベール市の優れた地元企業に贈られるアワードで、U.S. Commerce Associationが主催している。
今回、Real Intentは、2012 Best of Sunnyvale Awardの「Computer Software category」にて受賞した。
Real Intentは、フォーマル検証技術を用いた「Ascent」および「Meridian」の2つの製品ファミリで検証ニーズに応えており、ビジネスも順調の様子だ。