Systerel participera au 1er forum dédié à l’utilisation et la diffusion du langage HLL le lundi 4 décembre à Paris.
Systerel, acteur majeur de la technologie HLL, soutient la diffusion de ce langage et contribue activement à la création d’une communauté HLL.
Le langage formel HLL (High Level Language) est l’un des langages les plus utilisés pour la vérification formelle des systèmes critiques de sécurité, en particulier dans les activités de preuves d’enclenchements ferroviaires.
En savoir davantage sur le langage HLL