Описание

Миссия Prove & Run - помочь нашим клиентам решить проблемы безопасности, связанные с развертыванием подключенных устройств и Интернетом вещей. Prove & Run разработала запатентованную цепочку инструментов, созданную для формального подтверждения правильности сложных программных компонентов и их сертификации на самом высоком уровне безопасности при разумных затратах. Используя этот инструмент, Prove & Run разработал два основных блока (ProvenCore и ProvenVisor), готовых к интеграции в виде COTS, которые можно использовать как самостоятельно, так и в сочетании, чтобы отвечать на самые критические проблемы безопасности и обеспечивать правильную основу безопасности для подключенных встроенных систем и, в более общем смысле, Интернет вещей.