Prover est une entreprise destinée aux personnes qui souhaitent faire la différence et contribuer à un monde durable et sûr. Prover est un pionnier de la vérification formelle de système critique embarqué, du développement d’atelier métier de CAO (Conception Assistée par Ordinateur) pour le marché du ferroviaire avec une expertise de traduction des différents langages [...]
We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on our booth 3/203 and discover our market leading solutions for Formal Verification (Model Checker) and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows [...]
This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail technology experts from all over the world, including Prover Technology. Nicolas Aucouturier and Thierry Lartaud were there to represent Prover as an international presence in the signaling industry. The annual SmartMetro conference has always been [...]
The global rail sector is growing! Its market is estimated at € 113 billion for 2017-2020, with annual growth of +1.5%. France is resisting well and positioning itself as the world's third largest railway market behind Germany and China. The French domestic market increased to € 8.2 billion in 2015-2017. France enjoys a significant reputation [...]
Le secteur ferroviaire mondial est en pleine croissance! Son marché est estimé à 113 Mds € pour 2017-2020, avec une croissance annuelle de +1,5 %. La France résiste bien et se positionne comme la 3e puissance mondiale du ferroviaire derrière l’Allemagne et la Chine. Le marché intérieur français est en progression à 8,2 Mds € [...]
