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 Systerel Smart Solver

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

Prove that your design is correct and safe

Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel Smart Solver, a SAT based analysis tool is central to these solutions.

Benefits:
  • Automated analyses and proofs
  • Analysis completeness
  • Exact modeling (no abstractions)
  • Compliant with certification processes
  • Dedicated team of specialists of the technology and tools
Safety verification for a wide range of systems, including:
  • Railway Interlocking systems (relay-based and computerized)
  • CBTC
  • ERTMS

More products of the exhibitor