HLL FORUM
encadrer la maintenance et le développement des spécifications du langage HLL et promouvoir son utilisation ; faire du langage HLL un langage de référence en matière de vérification formelle ; garantir la pérennité et l'évolution du langage HLL en fonction de l'état de l'art ; garantir l'interopérabilité des outils développés autour du langage HLL ; développer l'écosystème autour du langage HLL ; favoriser la collaboration entre toutes les parties prenantes