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 SDA software suite (formerly known as 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 Studio will help you to avoid syntax errors and semantic errors, by giving you help while you type. It will also allow you to find definitions and usages of variables.

We will make continuous improvements of Prover Studio, based on your feedback to us. So do not hesitate to contact us.

Prover Studio is available on the marketplace for extensions for Visual Studio Code, or as a download from Prover.

Download here

How safe and efficient are your rail control systems? Let’s find out!

Learn to build a solid safety case for rail control systems using formal verification

Fill out your information here.

Do you want news and upcoming events from Prover?

Fill out your information here.

More News & Articles

What we will showcase at InnoTrans – A closer look at our demo
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
EULYNX: Standard Interfaces for Railway Signaling and the Case for Formal Methods
EULYNX standardizes rail signaling interfaces, but not the assurance behind them. Here's how formal methods close that gap, with exhaustive proof, generated test suites, and verified wrappers.
AI makes formal verification more important. Here is why
AI makes formal verification more important, not less. See why AI-assisted engineering needs mathematical proof, not just testing, to stay safety-critical.