Contact Us

Personal information

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

Your message

Please enter a message.
Please choose a recipient.

Send message

Your message has been sent successfully.
Send another message.

Hall plan

Please choose a booth.

Les Portes de l'Arbois 1090 rue René Descartes
13100 AIX EN PROVENCE
France

Share link

Recommend

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