Nicolas Aucouturier, utgivare på Prover

About Nicolas Aucouturier

This author has not yet filled in any details.
So far Nicolas Aucouturier has created 3 blog entries.

Prover Studio now supports HLL

Prover Studio 2 with HLL support has been released! Prover Studio was launched (https://www.prover.com/product-news/introducing-prover-studio/) as an integrated development environment for Prover Trident. Prover Studio now joins our family of tools that support HLL. With the new version, you will be able to read, write, and navigate HLL and sHLL models and safety properties. Prover [...]

By Nicolas Aucouturier|2023-03-16T09:50:00+01:00March 9th, 2023|Company News, HLL – High Level Language|

HLL Forum takes the step of creating an official language definition for HLL 3.0!

On November 21st, we met at the office of Ikos Consulting in Levallois-Perret. In the presence of the creators, the designers, and the users of the language, we agreed about future enhancement processes and started the process to precisely define the next version of the HLL language definition. The next steps will be to concretely [...]

By Nicolas Aucouturier|2021-11-20T12:08:52+01:00November 24th, 2019|HLL – High Level Language|