Prover® Technology today announced the acquisition of Stockholm-based Industrilogik, a leading provider of services and technology for the Scandinavian rail control system market.
Industrilogik's unique expertise in the application of formal validation and verification techniques will strengthen Prover Technology's product line Prover iLock and associated service offerings. Following the acquisition, Prover Technology also announced the product Prover iLock Planner, the first development environment for interlocking systems to integrate design, validation and formal safety verification.
Svetozar Serafimovski, President, Industrilogik, commented: "We are very excited about joining forces with Prover Technology. By merging our technologies and complementary skill sets, we will be able to reach a broader market and deliver more customer value."
Gunnar Stalmarck, CEO, Prover Technology added, "Industrilogik has established itself as a leading provider of services and technology in Scandinavia's rail market. Since its incorporation in 1997, Industrilogik has attracted and retained uniquely skilled personnel, and we are very excited to have them on board. The acquisition demonstrates our commitment to the rail control systems market, and strengthens our Prover iLock product line."
Financial details of the deal were not disclosed.
For more information on this company:
Prover Technology - Accelerating Development and Reducing Cost of Provably Correct Rail Control Systems
