Prover Technology and IKOS Consulting Join Forces to Meet Customer Demand for Automated Rail Control Development

Stockholm And Paris (ots/PRNewswire) -

Prover Technology, a world leader in software technology for
Automated Development of Rail Control Software, and IKOS, a leading
consulting firm specialized in railway engineering, today announced
that they will join forces to better serve customers who seek to
introduce automation in their development of rail control systems.

(Logo: http://photos.prnewswire.com/prnh/20140211/668238-a )

(Logo: http://photos.prnewswire.com/prnh/20140211/668238-b )

Under the partnership, IKOS will provide customers with expert
engineering services from its locations across Europe, including
Paris, Lyon, Madrid, Brussels and Berlin. Prover will provide its
standard solution for the development of rail control systems,
including formal requirement specifications, the Prover iLock tool
suite for development of revenue-service ready code, and Prover
Certifier for "sign-off" safety verification. The partnership is a
response to the increased demand for an integrated suite of software
products that cover the whole development process, from formal
requirements to sign-off verification of the revenue-service software
code.

Arne Boralv, CEO of Prover Technology, commented: "We are
delighted to partner with IKOS to bring modern, automated development
to new customers across Europe."

Serge Chelly, CEO of IKOS, commented: "We see considerable value
in this partnership, based on Prover's leading software technology
for rail control development, our engineering skills and know-how in
local railway markets and complementary geographical locations".

About Prover Technology

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.

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 of six subsidiaries with 350 engineers.

Any trademarks mentioned in this release are the intellectual
property of their respective owners.

Editorial Contacts:

Prover Technology:
info@prover.com

IKOS:
Lucile ROBICHON
lrobichon@ikosconsulting.com
+33(0)1-41-34-10-45

Photo:
http://photos.prnewswire.com/prnh/20140211/668238-a

http://photos.prnewswire.com/prnh/20140211/668238-b

ots Originaltext: Prover Technology and IKOS
Im Internet recherchierbar: http://www.presseportal.de