シノプシス、鉄道システムのニッチ企業Prover Technology社に出資

2008年5月6日、シノプシスは、鉄道システムの開発ツールを手掛ける、Prover Technology社への資本参加を発表した。

プレスリリース：http://www.synopsys.co.jp/pressrelease/2008/20080506.html

Prover Technology社は、スウェーデンのストックホルムに本社を置くソフトウェアメーカーで、電車やポイント、信号機の制御などの鉄道関連システムの信号設計自動化ソリューションを提供。フランス、アメリカに子会社があり、Airbus、Ansaldo、Bombardier、ニューヨーク市都市交通局、RATP（パリメトロ）、スウェーデン国鉄、Thalesなどを顧客としている。

Proverではソリューションの一部でフォーマル検証技術を利用しており、シノプシスの資本参加によって、半導体の設計に用いられていたフォーマル検証技術が鉄道システムの開発に応用される可能性があるという。

※日本シノプシス株式会社
http://www.synopsys.co.jp

※Prover Technology社
http://www.prover.com