Accès au site français Welcome to You buy France The french suppliers portal

SHARE THIS COMPANY

twitter linkedin facebook viadeo

You buy France

PROVER TECHNOLOGY

Prover® Technology provides two premier software solutions: Prover iLock for control and signaling system development and Prover Plug-In for formal verification tool developers. Prover Technology also provides services supporting deployment of its products.


Prover iLock is the leading software solution for control and signaling application design, verification, validation, optimization and documentation. It has been deployed by hardware suppliers and operators in more than 25 countries. Prover iLock has an unparalleled track record when it comes to cutting costs, ensuring safe operation, and speeding up the development process.

Prover Technology’s customer base includes ABB, Airbus, Ansaldo, Norwegian National Rail Administration, Swedish National Rail Administration, Stockholm Transport (SL), Thales, NYCT (New York Metro), RATP (Paris Metro), and many others.

+ Read more

 

Company profile

Related activities :

Electronics and information technology

Export area :

Europe outside E.U.

European Union

North Africa

North America

North Asia

South Asia

Local presence :

European Union

North America

Target countries :

More information

...About

   

 

 

 

 

 

 

 

Business France contributes to the development and success of French and foreign businesses wishing to expand abroad by supporting them throughout the lifetime of their projects, and is driven by an efficient, result-oriented working culture. > Read more

 

Discover the French know how:
   

      

  

Rail industry