Corporate Overview     Impulse Accelerated TechnologiesProverŪ Technology is a profitable and privately owned software company that provides patented and leading proof engine based products and solutions. The company was founded in 1989 and has built a solid and loyal customer and partner base that includes Airbus, Intel, Rambus, Bombardier and Ericsson. Prover Technology's main product families are: Prover eCheck A family of end-user products for verification of semiconductor design transformations. Prover Plug-In A family of proof engine software components. Other software developers integrate Prover Plug-In into their own products to add production-proven support for formal verification and validation. Prover iLock A family of end-user products for development, verification and validation of rail control systems. Prover Technology is headquartered in Sweden, has wholly owned subsidiaries in France and California and has a best-in-class world-wide distribution network Further Information