Prover在铁路（Prover iLock 和 PiSPEC）和半导体、电信、航空航天和汽车（Prover 插件）领域有着稳定的客户群。 在世界范围内的25个以上的国家和地区，我们均有成功的案例。

主要客户名单

• ABB
• Airbus(空中客车)
• Alcatel(阿尔卡特)
• Ansaldo(安萨尔多)
• Areva-Technicatom
• Banverket (瑞典国铁)
• Bombardier(庞巴迪)
• Esterel Technologies(爱斯特尔科技)
• General Electric(通用电气)
• Jernbaneverket (挪威国铁)
• New York City Transit(纽约市捷运局)
• RATP (巴黎地铁)
• Rockwell(罗克韦尔)
• SL (斯德哥尔摩地铁)
• Thales/Alcatel(泰雷兹/阿尔卡特)
• The Mathworks
• Union Switch & Signal(美国联合道岔信号国际有限公司)