• Company
  • Careers
  • News
  • Blog
  • Contact
  • English
    • Français

Systerel English

  • Solutions
    • Consulting & expertise
    • Safety-critical software development
    • Assessment & audit
    • Verification & validation
    • RAMS
    • Training
  • Expertise
    • Formal Methods
      • Using Formal Methods
      • B Method
      • SCADE
      • The HLL Language
      • Systerel Smart Solver
      • RODIN platform
      • Verification & Validation Tools
    • Embedded, critical & real-time software
    • OPC UA
    • Technology based on Ada
    • Standards & processes
  • Innovation
    • Innovation at Systerel
    • Products
      • Safe & Secure OPC
      • Systerel Smart Solver
      • Systerel IXL Builder
      • OVADO 2
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • Railway
    • Aerospace
    • Defense
    • Energy
Home Archives pour January 2019

Archives de January 2019

  • Themes
    • Blog
    • Careers
    • Company
    • Conferences and fairs
    • Formal Methods
    • Products
    • Projects
    • R&D
    • Training
  • Dates
    • April 2021
    • March 2021
    • February 2021
    • January 2021
    • December 2020
    • November 2020
    • September 2020
    • July 2020
    • June 2020
    • April 2020
    • March 2020
    • February 2020
    • January 2020
    • November 2019
    • October 2019
    • September 2019
    • June 2019
    • May 2019
    • April 2019
    • March 2019
    • February 2019
    • January 2019
    • November 2018
    • October 2018
    • September 2018
    • July 2018
    • June 2018
    • May 2018
Products
Janvier 2019

Systerel Smart Solver: always faster

Systerel announces a new version of its tool Systerel Smart Solver with unrivaled performance.

Careers
January 2019

We are hiring!

Consult our job offers, we aim to recruit 20 new talents in 2019!

Solutions

  • Consulting & expertise
  • Critical software development
  • Verification & validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal methods
  • Embedded, critical & real-time software
  • OPC UA
  • Technology based on Ada
  • Standards & processes

Products

  • Innovation at Systerel
  • Products
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2021 Systerel™ - All rights reserved

  • Site map
  • Legal notices