Funding Received
$0 in 2 Rounds from 2 Investors
Most Recent Funding
May 6, 2008 / Undisclosed Amount and Round
Description:
Prover delivers proof engines that enable safety critical systems engineers to achieve 100% exhaustive verification coverage.
Founders:
Gunnar Stålmark
Categories:
Security

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...