打造一个更加安全的世界

航空、货运和汽车依赖汽油并污染环境。铁路快捷、经济、舒适并环保。Prover科技为此不遗余力。我们为控制列车信号以及道岔的安全和关键系统提供解决方案。

我们的PiSPEC™和Prover iLock™解决方案适用于若干系统的说明、编码、仿真和形式验证，如：自锁，CBTC，ERTMS，ATP和PTC。我们同时为用户提供适宜的软件IP和培训使用户以适宜的成本满足严格的认证要求。

Prover于1989年成立于瑞典的斯德哥尔摩，在美国和法国设有分支机构，是由投资者和员工共有的私营公司，客户遍及25个国家。