Intel Capital - Portfolio Company: Prover Technologies


	United States Home		\|		Select a Location


Site Map	\|	Contact Us	\|	About Intel




Advanced Search

-->

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

Prover Technologies
(SWEDEN)

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

www.prover.com

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.


	*Legal Information \| Privacy Policy