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


twitter linkedin facebook viadeo

You buy France


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










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