Systerel Smart Solver

Produkt von SYSTEREL

InnoTrans 2018

Kontaktieren Sie uns

Persönliche Angaben

Bitte geben Sie Ihren Vornamen an.
Bitte geben Sie Ihren Nachnamen an.
Bitte geben Sie Ihren Firmennamen an.
* erforderlich

Ihre Nachricht

Bitte geben Sie eine Nachricht ein.
Bitte wählen Sie einen Empfänger aus.

Nachricht senden

Ihre Nachricht wurde erfolgreich versendet.
Weitere Nachricht senden.

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

InnoTrans 2018

Link teilen

Empfehlen

Weiterempfehlen von Systerel Smart Solver

Trennen Sie mehrere E-Mail-Adressen durch ein Komma voneinander. Die Empfänger erhalten einen Link zu dieser Plattform.

Bitte geben Sie einen gültigen Empfänger an.
Bitte geben Sie eine gültige E-Mail-Adresse ein.
Bitte geben Sie eine Nachricht ein.
* erforderlich
Ihre Empfehlung wurde erfolgreich versendet.
Weitere Nachricht senden.

Produktbeschreibung

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

Weitere Produkte des Ausstellers