Contact Us

Personal information

Please enter your first name.
Please enter your last name.
Please enter your company name.
* required

Your message

Please enter a message.
Please choose a recipient.

Send message

Your message has been sent successfully.
Send another message.

Les Portes de l'Arbois 1090 rue René Descartes

InnoTrans 2018

Share link


Recommendation of OVADO

Divide various addresses by comma. The recipients will get a link to this platform.

Please enter a valid recipient.
Please enter a valid email address.
Please enter a message.
* required
Your recommendation has been sent successfully.
Send another message.

Product description

Validate your critical system configuration data

Agile data validation based on formal techniques
  • Scalable modelling of properties vs traditional programming
  • Counterexample analysis and automatic generation of validation reports
  • T2 SIL4 (EN50128:2011)
OVADO is currently used by major operators and industry players (RATP, Alstom, Thales)

More products of the exhibitor