IKOS CONSULTING & PROVER TECHNOLOGY Join Forces to Meet Customer Demand for Automated Rail Control Development Levallois-Perret and Toulouse. March 2019 - IKOS CONSULTING, a consulting firm specializing in the railway sector, and PROVER TECHNOLOGY, a software company providing solutions for design automation and formal verification of rail control systems, sign a partnership in order to provide their customers in the railway market with a complementary offering of software and professional services. Innovative transport systems require a higher level of automation and safety. PROVER addresses these challenges with its "Prover Trident" and "Prover Certifier" solutions, which enable the cost-efficient development of safe railway control systems, including the specification of safety requirements, the generation of code, formal verification and validation. With its experience in rail signaling (CBTC, ERTMS, iXL) and 850 consultants on its team, IKOS supports the deployment of PROVER tools. The goal of this partnership is to increase the synergies present between both companies. By partnering with PROVER, IKOS optimizes the implementation of the product offering for all players in the railway sector. PROVER CEO Anders Linden confirms: "We are delighted to partner with IKOS to deploy our design automation and formal verification tools to our customers in Europe and North America. This ensures skilled and high delivery capacity to meet the demands form our customers" Serge Chelly, CEO of IKOS, qualifies for this partnership "very promising. Our two companies are complementary: we share the same values, the same strategic choices thanks to our specialization in railways, and common development ambitions ". Indeed, the presence of PROVER in Sweden, France and the United States echoes the influence of IKOS and its subsidiaries in Europe and North America. "This geographical complementarity strengthens our alliance and guarantees its success," concludes Serge Chelly. About IKOS IKOS was founded in 2005 by two seasoned engineers based on two objectives: to focus on projects that are strategic for the client, and to provide a new world-class alternative that stands out from the firms dominating the market by offering both expertise and a local presence. IKOS' growth stems from two strategic factors: Specialization in the rail sector, which has been our passion and expertise for nearly 20 years. A drive to develop a new kind of consulting firm at a human scale that focuses on our clients' technological achievements and our consultants' progress. IKOS is a group with 850 engineers. About Prover : Prover Technology pioneered the use of formal safety verification in rail control in the 1990s, and today offers complete software solutions for development of rail control systems. Prover Technology is a privately held Swedish company headquartered in Stockholm, Sweden, with wholly owned subsidiaries in France and the USA. For more information, visit Prover Technology's web site at http://www.prover.com. Any trademarks mentioned in this release are the intellectual property of their respective owners.