Accueil Méthodes Formelles

Méthodes Formelles

Novembre 2019

Une nouvelle version du langage HLL

Prochain forum de la communauté HLL le 21 novembre prochain à Paris !

Février 2019

Coup d’envoi de la communauté HLL

La communauté HLL, regroupant autour de l’utilisation du langage HLL les principaux promoteurs, utilisateurs et fournisseurs d’outils, s’est réunie pour la première fois en décembre dernier à Paris.

Novembre 2018

Premier forum HLL

Systerel participera au 1er forum dédié à l’utilisation et la diffusion du langage HLL.

Méthodes Formelles, Salons - Conférences

octobre 2017

RSSR (Reliability, Safety and Security of Railway Systems)

Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
Systerel interviendra ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.

Méthodes Formelles, Salons - Conférences

septembre 2017

Véhicules autonomes et méthodes formelles

Systerel, membre du comité de programme FMF, vous informe que la prochaine conférence aura lieu le 10 octobre prochain sur le thème « véhicules autonomes et méthodes formelles ».

Méthodes Formelles, Salons - Conférences

avril 2017

SC2 “Satisfiability Checking and Symbolic Computation”

Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.

Méthodes Formelles, Salons - 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.

Méthodes Formelles, Salons - 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.

Méthodes Formelles, Salons - Conférences

novembre 2016

High Integrity Software 2016

Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires.

Méthodes Formelles, Salons - Conférences

octobre 2016

Séminaire Dagstuhl : universalité des preuves

Systerel a participé du 16 au 21 octobre au séminaire Dagstuhl sur le thème de « l’universalité des preuves ».

Méthodes Formelles, Salons - 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

Méthodes Formelles, Salons - Conférences

Novembre 2015

Séminaire Dagstuhl

Systerel participe du 15 au 20 novembre prochains au séminaire Dagstuhl 15471 consacré à la fertilisation croisée entre calcul symbolique et vérification de satisfiabilité.