Prove & Run produces ProvenTools a complete software development toolchain built on innovative proof techniques. With this toolchain, Prove & Run can help you raise the quality and security of your software development projects to the very high levels required in today’s market while taking into account the constraints of a significant software development project, including time-to-market, cost, required skill levels, etc. Our toolchain is forged to deal with the most sensitive software components (microkernels, hypervisors, secure bootloaders, etc) and to meet the highest security requirements (CC EAL7 and more).
Prove & Run uses ProvenTools to create formally proven secure software components such as ProvenCore, a microkernel for embedded devices, and the Proven Mobile Stack, an application framework for smartphones and tablets. Prove & Run also offers Professional Services to its customers who want to create their own applications.
Prove & Run is a rapidly-growing software company staffed with researchers and engineers who are dedicated to pushing the boundaries of computer science to make software development more rigorous, and our management has a proven track record in turning research into practical innovation. The company was founded by Dominique Bolignano in 2009.
Prove & Run offers you products from these product groups:
System and Application Software (425)
- Operating Systems (169)
- IoT Software (236)
Embedded Software for Data Security (115)
- Embedded Encryption Systems for Data and Files (49)
- Embedded Cryptography (53)
- Embedded Public Key Infrastructures (32)
- Embedded BIOS/Secure Boot (38)
- Secure Installation and Authentication for Embedded Systems (50)
- Security Libraries and Toolkits for Embedded Systems (43)
- Network Encryption Protocols (44)
- Embedded Firewall Systems (25)
- Intrusion Detection (23)
- Other Embedded Software for Data Security (64)
- Tools (458)
- Services (613)