Prove & Run
Prove & Run is a startup developing a new software engineering technology and is currently growing at top speed.
Prove & Run’s ambition is to trigger a quantum leap in software quality and security by democratizing formal methods, a technology that enables software engineers to mathematically prove that the implementation of a software component follows its specifications, with a high level of assurance. Compared to other tools that also use formal methods, Prove & Run’s tools only require a short training period and integrate seamlessly with existing software toolchains.
Thanks to an experienced management team with a proven track record at developing high-tech start-ups into successful grown-up companies, along with a team of high-level researchers from academic labs, Prove & Run is now commercializing its technology by targeting mass-market applications that require a high level of security: mobile phones, set-top boxes, smartcards, etc.
News
Internships
Bac+5 :
Address:
77, Avenue Niel,
75017, Paris,
FRANCE
Tel: +33 (0) 9 53 99 78 48
Fax: +33 (0) 9 58 99 78 48