Société
février 2017

Nouveaux locaux parisiens

Afin d’accompagner sa croissance en Île de France, Systerel emménage dans de nouveaux locaux significativement plus spacieux et entièrement rénovés.

Conférences
novembre 2016

Séminaire à Shonan

Systerel est invitée à un séminaire de recherche au Japon sur la thématique du projet IMPEX : Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

Conférences
novembre 2016

Event-B Day

Systerel a participé à la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre à Tokyo.

Conférences
septembre 2016

International Workshop FMICS-AVoCS

Systerel participe au workshop commun FMICS et AVoCS du 26 au 28 septembre à Pise.
FMICS : Formal Methods for Industrial Critical Systems
AVoCS : Automated Verification of Critical Systems

Conférences
juin 2016

Conférence internationale RSSR

Systerel a participé à la conférence RSSR à la maison de la RATP du 28 au 30 juin.
La solution de vérification formelle Systerel Smart Solver a été présentée : description, apports et applications de cet outil éprouvé industriellement dans le cadre de vérification de sécurité de systèmes ferroviaires.