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