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:
Application software (554)
- Runtime environments (58)
- Middleware (128)
- Virtualization (61)
- Communication software (150)
- Remote device management software (95)
- Other application software (109)
- Real-time operating systems (245)
- Data security (98)
- Software, algorithms and OS for secure embedded systems (144)
- Software (540)
- Methods and tools for secure embedded systems (106)
- Services (774)