Systerel is participating to the first HLL forum dedicated to the use and the dissemination of the HLL language.

Systerel, a major player in HLL technology, supports the dissemination of this language and actively contributes to the creation of an HLL community.

The formal language HLL (High Level Language) is one of the most widely used languages for the formal verification of safety-critical systems, particularly for proving the safety of railway interlocking systems.

Learn more about HLL