Company Overview

Update
Founders:
Gunnar Stålmark
Funding:
$0.00
Categories:
Security
Description:
Prover delivers proof engines that enable safety critical systems engineers to achieve 100% exhaustive verification coverage.

Detailed Description

Update

Prover delivers proof engines that enable safety critical systems engineers to achieve 100% exhaustive verification coverage. Its customers include Airbus, GE, New York City Transit, Ericsson, Mathworks and many others.

Past Team (3)

Update

Funding Rounds (2) - $0.00

Update

Investors (2)

Update
  • 7300a734540b407a0b20a41a5d4fb702

    Synopsys

    Synopsys is a electronic design automation company developing software, IP and services used in...
  • F504461affd50c53b19e98f7c5dcd3ac

    Intel

    Intel manufactures microprocessors for personal computers and a range of hardware, including...