HLL Forum
Join the HLL community
The HLL Forum is the community for us who use the formal 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. The HLL Forum was formed in a first meeting in Paris on December 4th 2018. Since then, tool providers have been working together to merge their different dialects of HLL into one uniform language that we aim eventually to publish as the official next version of HLL.
Welcome to join the HLL Forum. By joining the community you ensure that your voice is heard.
Meetings so far:
- 2018 December 4, at NOVOTEL Les Halles, Paris: Founding meeting
- 2019 March 22, Language development group meeting (Prover, Systerel, SafeRiver, Ansys, RATP) at RATP: language proposal
- 2019 October 11 (tentative): Language proposal and next steps
MORE ABOUT HLL
Using HLL to solve Sudoku puzzles
In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in the railway signaling domain for the formal verification of interlocking [...]
New version of HLL – integrating the best of breed
The Tool providers that support HLL have now agreed on the content of the next published version of HLL. It will be a merge of the different dialects of HLL that exist [...]
A new version of HLL emerging
The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting emerging needs in the market. Some of us in this [...]
HLL to become a standard Formal Language
On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major users of the HLL language. The forum was an exciting [...]
HLL formal language celebrates 10 years
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical systems, especially in the railway signaling domain. This year marks the [...]