Prover Technology

Activité principale et présentation rapide
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.
Marché(s):
  • Automotive
  • Rail
Type d'organisation:
  • PME
CA: 5 000 000
Nombre de salarié(s): 25
Contact: Thierry LARTAUD
Fonction du contact: Sales & Business Development Director
Téléphone: +33 685 33 40 74
Site Internet:
Certification(s):

- ISO9001-2015

Spécialisation:

- Expertise en vérification formelle de système critique embarqué

International:

- Le siège social est à Stockholm
- Bureaux à Toulouse, San Francisco, Shanghai

Adresse:
1 Rue Bouquières 31000 Toulouse- France
Principaux produits Rail:

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 Rail:

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

Activité détaillée:

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.
Nous sommes des experts en développement de solutions logiciels, en vérification formelle, en signalisation, en traduction de langages et en gestion de projet.

Compétences métier:

- Signalisation Ferroviaire
- CBTC, Enclenchement, RBC etc.

Excellence technique:

- Expert en vérification formelle
- Expert en langages C, ADA, SCADE, Simulink etc.
- Expert en V&V
- Développement logiciel critique sur spécification
- Projet clé en main de système ferroviaire