Systerel Smart Solver

Product of SYSTEREL

InnoTrans 2018

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
13100 AIX EN PROVENCE
France

InnoTrans 2018

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