PROVE&RUN

Développe une technologie simplifiant le développement et la vérification d’applications embarquées qui souhaitent un haut niveau de sécurité

Prove & Run développe une technologie simplifiant le développement et la vérification d'applications embarquées, qui souhaitent un haut niveau de sécurité. La technologie repose sur : • un nouveau langage voir plus

Prove & Run développe une technologie simplifiant le développement et la vérification d'applications embarquées, qui souhaitent un haut niveau de sécurité. La technologie repose sur : • un nouveau langage de conception • un outillage complet de preuve et de génération de code basé sur les méthodes formelles • La preuve semi‐automatique du respect des contraintes de sureté et de sécurité placées sur l'application. L'ensemble de ces outils permet de simplifier et d'accélérer la programmation d'applications, elle permet de plus de faciliter les portages sur plusieurs architectures logicielles et matérielles. Les applications visées par les outils de Prove & Run concernent les domaines: • des systèmes embarqués des moyens de transport (avionique, automobile, ferroviaire) • de l'électronique grand public • de la téléphonie mobile • des systèmes de confiance • etc… voir moins

Finances : capitaux et levées de fonds
Marché & secteur
Compétition secteur
7,6
Moy. France 3
Création secteur
17%
Moy. France 9,4%
Code Naf
6209Z
Modèle
B2B
Maturité des startups du secteur
Startups à suivre
Startup Création
NEPTING Sep. 2012
WATSOFT Oct. 2001
WALLIX Déc. 1999
ADENTS INTERNAT Sep. 2007
CYBERWATCH Jan. 2015
IDECSI Juil. 2011
PRIM X TECHNOLO Mai 2003
TRUSTINSOFT Mai 2013
I-TRACING Oct. 2005
UBIVAR Jui. 2014
Fondateurs & team
Fondateurs
Fondateur Âge École Diplôme Compétences
Dominique Bolignano
Fondateur
64 Ecole centrale de Lyon Master's degree Mobile Payments, Mobile Devices, Security, Mobile Applications, Software Development,
aout 2009 - Aujourd'hui
CEO & Founder (Président) chez Prove & Run
fevr. 2014 - Aujourd'hui
Board Member chez Internet of Trust
dec. 2011 - juin 2012
President chez Trusted Logic Mobility (now Trustonic)
Fondateurs & Team
Dominique Bolignano Fondateur
PAGEZY Christophe
Localisation
Adresse
77 Avenue Niel, 75017 Paris
Website
Réseaux sociaux
Startups du secteur par département Voir la liste »
Évol. Départements Startups
Paris 17
Hauts-de-Seine 10
Bouches-du-Rhône 6
Hérault 4
Essonne 3
Rhône 3
Nord 3
Loire-Atlantique 2
Yvelines 2
Gironde 2
Legals & tech stack
Légales
Raison sociale
PROVE&RUN
Siret
51451078300020
Forme juridique
société par actions simplifiée
Code Naf
6209Z
Dernier mouvement Bodacc
Changement de dénomination, enseigne, sigle
Oct. 2020
Tech Stack
Analytics and Tracking
Marketing 4 Restaurants , ClickBrainiacs
Frameworks
Crafter
Payment
Flipcause
JavaScript Libraries and Functions
facelift
Name Servers
OmniTI
Web Hosting Providers
Discourse Hosted
Domain Parking
Afternic