Prove & Run

Prove & Run

https://www.provenrun.com/
Information Technology
0
0
All countries

Description

Prove & Run’s mission is to help our customers resolve the security challenges linked to the deployment of connected devices and of the Internet of Things. Prove & Run has developed a patented toolchain forged to formally prove the correctness of complex software components and to help certify them at the highest security level, for a reasonable cost. Using this tool, Prove & Run has developed two essential bricks (ProvenCore and ProvenVisor) ready for integration as COTS, that can be used on their own or in combination, to answer to the most critical security challenges and to provide the right security foundation for connected embedded systems and more generally the Internet of Things.