Systerel Smart Solver

Product of SYSTEREL

  • InnoTrans 2018
  • Hall 11.2 210

Contact Us

Personal information

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

Your message (max. 200 characters)

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
  • Hall 11.2 210

Share link


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.

  • 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

More products of the exhibitor