Prover Technology433195419

Analyses, essais et inspections techniques

1 rue Bouquieres 31000 Toulouse

Indice de confiance

Laissez un avis

Chiffre d'affaires 2014

1 M€

Président

Arne

Borälv

Effectif 2018

3 à 5

Ancienneté

21 ans

Indicateurs

À propos

Engineering a Safer World
Signaling Design Automation and Formal Verification to meet the Demand for the Railway of the FutureSource : Site web

Prover – Engineering a Safer World Interlocking Design Automation to meet demand for complex digital train control Source : Blog

Commercialisation et vente de solutions de vérification industrielle.Source : BODACC

En 2000, l'entreprise Prover Technology avait 97000 euros de capital. Elle a été créée en 2000. Cette dernière effectue des analyses, essais et inspections techniques, le code NAF lié est 7120B. Le SIREN de l'entreprise Prover Technology est : 433195419. Cette dernière dispose d'une certification, ISO 9001. Son Président actuel est Arne Borälv. Le numéro de TVA correspondant à l'activité de Prover Technology est : FR57433195419. Son indice de confiance est de 92 sur 100. Il y avait 3 à 5 salariés qui travaillaient pour cette dernière au cours de l'année 2018. L'entreprise Prover Technology a domiciliée son établissement principal à Toulouse.

Fiche d'identité

  1. Type Société par actions simplifiée (SAS)
  2. Date de création 08/09/2000
  3. Effectif 3 à 5 (2018)
  4. Capital social 97.000€ (2000) (Source RCS)
  5. Chiffre d'affaires 1 M€ (2014)
  6. TVA intercommunautaire FR57433195419
  7. Numéro de SIREN 433195419
  8. Code NAF Analyses, essais et inspections techniques (7120B)
  9. Statut SIRENE Active
  10. Statut RCS Immatriculée (23/10/2000)

Contacts

Site web

Site internet de Prover Technology

Réseaux sociaux

Téléphone

Emails

{[{emailItem.email}]}

****@****er.com

****@****er.com

***********@****er.com

*************@****er.com

****************@****er.com

*************@****er.com

********@****er.com

***********@****er.com

Obtenez des millions de téléphones et emails nominatifs.

En savoir plus

Il s’agit de votre entreprise ?

Mettez en valeur votre activité en complétant les informations de cette page et invitez vos partenaires à vous évaluer pour construire votre e-réputation.

Revendiquez votre page gratuitement !

Conformité

PRO

Accéder aux certificats de conformité

Assurez-vous de respecter la loi en vérifiant la tenue des engagements d'obligations de vigilance, SAPIN II et RSE de vos fournisseurs.

En savoir plus

Conformité

Obligations de vigilance

Statut du dossier d'obligations de vigilance

Le dossier de la société {[{company.usedName}]} est complet.

La société {[{company.usedName}]} n'a pas encore déposé tous les documents requis.

Loi SAPIN II (encadrant la corruption)

Évaluation Sapin II

Score Loi Sapin II

Membres répertoriés comme
Personnes Exposées Politiquement (PEP)

Sanctions connues

SAPIN II non certifié

Loi sur le Devoir de Vigilance (encadrant la RSE)

Note obtenue

Détails de son évaluation

Répartition des scores globaux

RSE non certifié

Avis Prover Technology (0)

Que pensez-vous de Prover Technology ?

Actuellement aucun avis publié, soyez le premier !

Laisser un avis

Dirigeants Prover Technology (3)

Âge moyen des dirigeants

49 ANS

Durée moyenne de mandat

5 ANs 1 MOIS

Parité

0%100%
  • Arne Borälv

    Président

    2016 - Présent

    En poste
  • Grant Thornton

    Commissaire aux comptes titulaire

    Présent

    Ancien
  • Institut Gest Expert Comptable

    Commissaire aux comptes suppléant

    Présent

    Ancien

Chiffre d'affaires, bilans Prover Technology (4)

Durée de l'exercice comptable : 12 mois

Comptes annuels confidentiels

Score financier

PRO

Accédez au score financier

Vérifiez et anticipez le risque de défaillance de vos clients, fournisseurs et partenaires.

En savoir plus

Liens capitalistiques

PRO

Accédez aux liens capitalistiques

Découvrez la structure du groupe auquel appartient cette entreprise : tête de groupe, actionnaire majoritaire et filiales.

En savoir plus

Annonces légales (21)

  • Dépôt des comptes

    12 sept. 2021

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2020) en demandant leur confidentialité.

  • Modification

    12 sept. 2021

    PROVER TECHNOLOGY a apporté une modification à son capital social. La nouvelle valeur est 97 000 €.

  • Dépôt des comptes

    17 sept. 2020

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2019) en demandant leur confidentialité.

  • Modification

    30 juil. 2020

    PROVER TECHNOLOGY a déménagé son siège social, précédemment situé à l'adresse 15 allée Jean Jaurès - 31000 Toulouse, à l'adresse 1 Rue Bouquières - 31000 Toulouse.

  • Modification

    22 sept. 2019

    PROVER TECHNOLOGY a apporté une modification à ses dirigeants ou son administration, qui se compose désormais comme telle :
    GRANT THORNTON n'est plus commissaire aux comptes titulaire. IGEC n'est plus commissaire aux comptes suppléant.

  • Dépôt des comptes

    12 sept. 2019

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2018) en demandant leur confidentialité.

  • Dépôt des comptes

    27 sept. 2018

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2017) en demandant leur confidentialité.

  • Dépôt des comptes

    4 août 2017

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2016) en demandant leur confidentialité.

  • Dépôt des comptes

    6 sept. 2016

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2015) en demandant leur confidentialité.

  • Dépôt des comptes

    28 juil. 2015

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2014).

  • Vous voulez voir toutes les annonces légales ?

    Créez un compte pour accéder à l'ensemble des données sur cette entreprise.

Adresse Prover Technology (1)

  • Siret : 43319541900042 (siège social)

    Actif

    1 rue Bouquieres 31000 Toulouse

    Analyses, essais et inspections techniques (7120B)

    25 févr. 2020

    Siret : 43319541900034

    Fermé

    15 allée Jean Jaures 31000 Toulouse

    Analyses, essais et inspections techniques (7120B)

    1 janv. 2014

    3 à 5

    25 févr. 2020

  • Siret : 43319541900026

    Fermé

    21 rue d'Alsace Lorraine 31000 Toulouse

    Analyses, essais et inspections techniques (7120B)

    20 avr. 2001

    1 janv. 2014

    Siret : 43319541900018

    Fermé

    la Pyreneenne (Ctr Off Shore Stratege) 31670 Labège

    8 sept. 2000

    20 avr. 2001

Certification (1)

Trafic du site web

Accédez aux statistiques du site web

Évaluez l'empreinte digitale de cette entreprise et son évolution grâce aux statistiques sur son trafic mensuel, ses sources du trafic, le temps passé par les internautes, etc.

En savoir plus

Blog Prover Technology (10)

  • 23 juin 2020

    Save the date – SDA Forum in Paris Nov 24

    2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification...

    Events Formal Verification
  • 10 juin 2020

    HLL crash course for Safety Engineers

    Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the French COVID-19 lockdown, the course was conducted via Microsoft Teams, alternating lectures and exercises. An online course is a very special experience: you can get very close to a student’s...

    Formal Verification HLL – High Level Language
  • 12 mai 2020

    Increased railway safety using signaling design automation

    In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and automation are used at Stockholm Metro to increase railway safety. The rail-based public transport system in Stockholm, Sweden is relatively complex and diverse with a combination of su...

    Formal Verification Signaling Solutions
  • 30 avril 2020

    Automated Signaling Systems Design using Prover Trident

    In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects and proposed a remedy: the use of detailed and clear requirement specifications that enables automated development and more efficient safety verification. We will now take a closer l...

    Signaling Solutions Software Development
  • 28 avril 2020

    More efficient rail control projects using Signaling Design Automation

    The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of modern, computerized, signaling systems is often shorter than those of traditional relay-based systems, with higher maintenance costs. At the same time the need for...

    Signaling Solutions
  • 08 avril 2020

    Webinar: Formal Verification a solution for railway safety

    We have now published a new date when we will run our popular webinar about Formal Verification. The date for the webinar is the 28th of April. Safety verification is vital for railway interlockings. During this webinar we will describe the general problem of safety verification and show that for...

    Formal Verification
  • 17 mars 2020

    Floating Point Model Checking Put to the Test

    In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE 754 floating point calculations. We have tested the performance in real world industrial examples and in this blog post we will take a look at the floating point performance of PSL on a re...

    Company News Formal Methods Formal Verification
  • 03 mars 2020

    Our model checker PSL up to 60 times faster using AI-optimized proof strategies

    From more than two months down to less than two weeks, or six times faster. From almost two weeks down to just five hours, or sixty times faster! These are the kind of speed ups that we are now obtaining in PSL (Prover SL CE) by boosting our turbo-threads technology using AI-optimized proof strat...

    Company News Product News
  • 24 février 2020

    Why Formal Verification – The Solution to the Verification Problem

    If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then you know that verifying an interlocking that satisfies safety requirements is not an easy task to accomplish. Due to the huge size of the state space of the interlocking, neither manual methods nor testin...

    Formal Verification
  • 17 février 2020

    Why Formal Verification – The Suitability of Formal Verification

    Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not get you very far when verifying safety requirements for railway interlockings. This time my task is to convince you that formal verification will get you far. In fact, all the way. So what...

    Formal Methods Formal Verification Signaling System Software Development

Réseaux sociaux Prover Technology (1)

Vidéo Prover Technology (1)

  • Using HLL to solve Sudoku puzzles | Prover

    9 juil. 2019

    https://www.prover.com/formal-methods/using-hll-to-solve-sudoku-puzzles/

Entreprises - Haute-Garonne (31) - Toulouse - Toulouse (31000)

Allez plus loin avec B-Reputation

Découvrez comment nos données peuvent répondre à vos besoins.

Veille stratégique

  • Fiches entreprises complètes
  • Alertes
  • Tableaux de bord
En savoir plus

Prospection

  • Fichiers de prospection sur mesure
  • 100 critères de segmentation
  • Adresses, mails et téléphones
En savoir plus

Enrichissement

  • Traitement de fichiers ou API
  • Siretisation et dédoublonnage
  • Information complète et indicateurs propriétaires
En savoir plus

Solution d'avis client

  • Collecte et vérification
  • Tableaux de bord d'analyse
  • Diffusion web et réseaux sociaux
En savoir plus