Méthodes Formelles
OCTOBRE 2021
Langage HLL pour la vérification formelle de logiciels ou systèmes critiques
Systerel publie une nouvelle version du document de spécification du langage HLL (HLL LFD) et le soumet à la prochaine revue du HLL Forum de manière à converger sur la nouvelle définition du langage en collaboration avec les autres acteurs de la communauté.