United States Home | Select a Location
Site Map | Contact Us | About Intel
Advanced Search
Home ComputingBusinessDeveloperReseller / Provider
Intel Capital
Portfolio Company Members
Member Programs
Contact Us
select a location
Chinese Version
Japanese Version
Intel Capital Portfolio Intel Capital Portfolio


Disclaimer: Intel has invested in the companies described herein, but does not control the content of these descriptions. The information contained therein, including the company name, organizational structure or investor composition may have changed since the date of publication. Intel does not guarantee the accuracy or completeness of any information or data in the descriptions and shall not be liable to any person, firm or corporation for any inaccuracies, errors in, or omission to any such information, or for any action taken in reliance thereon or for any damages arising therefrom. Intel disclaims any obligation to update any information, including its shareholdings in such companies

Portfolio Company
Prover Technologies

Prover Technologies

Alstroemergatan 22 II
Stockholm, SE-112 47
Ph: +46 (0)8 617 68 00
Fx: +46 (0)8 653 69 00

Prover Technology is, with its product line Prover Plug-In*, a leading provider of commercially packaged proof engines. Founded in 1989, Prover Technology is one of the industry's most experienced companies in the field of automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has direct sales offices in Sweden (HQ), France, and in the fall of 2000, operations will be established in the US.

Prover Plug-in:
Prover Plug-In is a leading, commercially packaged proof engine. The product is used to automatically test hardware and software designs to 100%. EDA and CASE tool vendors as well as Fortune 500 companies customize and integrate Prover Plug-In into their system development environments. With the click of a button system engineers have access to fully automated verification, resulting in dramatic time and resource benefits. Prover Plug-In* has quality APIs and is compatible with common industry standards

Gunnar Stalmarck Gunnar St�lmarck, CEO, President and Founder
Gunnar St�lmarck is the founder, president and CEO of Prover Technology. Mr. St�lmarck is also an adjunct Professor of Computer Science at Chalmers University of Technology in Sweden and actively leads graduate studies of formal methods. In the mid 1980s, Gunnar St�lmarck invented an algorithm for automated proof search, known as St�lmarck's Method. He realized that his method could be used in the automatic verification of complex hardware and software systems.


Email with any changes or updates to your profile.
Back to Top
*Legal Information  |  Privacy Policy
©2002 Intel Corporation