LONDON Prover Technology AB, a developer of formal verification technology, has announced that Intel Capital has made an investment in the company. Prover has also forged a strategic agreement with Telelogic AB, a provider of development tools and environments for the SDL and UML system design languages.
Though details of Intel's financial investment have not been disclosed, Prover Technology said it would work with Intel to investigate the application of its technology to microprocessor design in general and to Intel products in particular.
Prover (Stockholm, Sweden) claims its software-based proof engines, named Prover Plug-in, reduce the amount of time and effort needed to verify highly complex computer systems. "We're very excited about working with Intel," said Gunnar Stalmarck, president and chief executive officer of Prover Technology. "Intel's investment offers Prover Technology the opportunity to expand into new markets and territories, such as the U.S., much more quickly than we had previously planned.
"With growing support from the industry, we expect that Prover Plug-in will be further adopted as the preferred proof engine for verification of complex or large computer systems, giving customers tremendous time and resource savings," Stalmarck said.
Prover was founded in 1989 armed with research conducted at Chalmers University in Gothenburg, Sweden. Among the company's past work is the Lava framework for hardware design based on the Haskell programming language. Prover now has R&D offices in Gothenburg and Umea, Sweden, and in Toulouse, France.
Prover's announced strategic agreement with Telelogic involves integrating Prover Plug-In with Tau Scade, Telelogic's safety-critical software development solution.
"With the combination of Telelogic Tau Scade and Prover Plug-In," said Ingemar Ljungdahl, chief technology officer at Telelogic (Stockholm), "we will be able to offer formal verification at a click of a button, moving parts of the testing efforts up to the design phase."