关于我们
为构建一个更加安全且可持续发展的世界而不懈努力
用科技缔造一个更安全的世界
航空和汽车行业带来了对石油的依赖和环境污染问题，而轨道交通兼具快捷、经济、安全和环保的诸多优势。Prover致力于构建一个更加安全和可持续发展的世界。我们为控制列车、信号和开关的安全关键系统提供工程化解决方案。
Prover提供的联锁设计自动化解决方案可显著降低信号系统的研发调试时间，同时还能提升系统的安全性。根据我们的过往经验，一个完整的联锁系统的交付时间可以从12-18个月缩短到1-3个月，而传统方式中几乎占一半时间的验证过程现在只需要一键完成。
我们的PiSPEC®和ProveriLock®解决方案用于定义规范、编码、模拟和形式化验证各种系统，包括联锁、CBTC、ERTMS、ATP和PTC。 我们还提供所需的软件IP和培训，使我们的客户能够以合理的成本满足严格的认证要求，例如CENELEC SIL-4认证。
Prover积极参与铁路和信号系统的行业协会和标准化机构，其中包括欧洲铁路工业协会（SWERIG）和欧洲铁路行业协会（UNIFE）。 我们积极致力于缔造未来的列车控制系统， 努力实现安全、经济高效和面向未来的解决方案。
Prover是安全关键系统中形式化方法和形式化验证的全球领导者。 该公司于1989年成立于瑞典首都斯德哥尔摩，多年来在该领域积累了丰富的经验。 Prover在美国、法国和中国都设有办公室，业务范围遍及25个国家和地区。