Join the HLL community
The HLL Forum is the community for us that use the modelling and specification language HLL, and believe it is a good language for formal methods. As it has started to become a de facto standard we want to make sure that the language develops in a controlled way to meet the demands of the future.This event is a first meeting, where we aim to decide what we want to do with HLL, and who wants to contribute. It is for everyone that has used HLL or plan to use HLL in their safety process. By joining this event you ensure your voice is heard enabling you to influence the development of HLL.