PROVER TECHNOLOGY

prover-logo
Secteur d'activité:
  • Equipements embarqués
  • Evaluation / Certification
  • Informatique / Logiciel
  • Membre Totem
Activité principale:

Nous développons des outils logiciels pour les systèmes critiques embarqués ferroviaires pour les phases de design, de validation et de vérification formelle.

Présentation détaillée

Nous fournissons des solutions pour l’ingénierie des systèmes critiques contrôlant les trains, la signalisation et les aiguillages.

Produits & Services
Principaux Produits et Services:

Prover Trident est une suite complète de processus et d’outils pour l’automatisation de la conception de systèmes de signalisation.
PSL est un Model Checker pour la vérification formelle des systèmes critiques embarqués

Clients & Références
Clients et références:

Alstom, RATP, SNCF, Hitachi, Siemens, NYCT, CASCO, Network Rail, SBB, DB, SL

Certifications

- ISO9001-2015

Contact(s)
Prénom: Thierry
NOM: LARTAUD
Fonction: Sales & Business Development Director
Adresse:
7 rue Auber, 31000 Touloues, France, Europe