PSL now supports sHLL

PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety properties and environment constraints. It natively takes HLL designs as inputs. But here is the novelty! With this new version of PSL, it is now possible to directly load sHLL models without an external [...]

By |2023-03-29T09:59:33+01:00March 28th, 2023|Company News|

Prover Studio now supports HLL

Prover Studio 2 with HLL support has been released! Prover Studio was launched ( 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 |2023-03-16T09:50:00+01:00March 9th, 2023|Company News, HLL – High Level Language|

Your guide to successful rail control projects

If you want to enable safe and reliable rail transportation while making the best use of available infrastructure, implementing efficient rail control and signaling solutions is an essential piece of the puzzle. The development of these software-based systems is critical in rail transport projects. Delays in delivery, acceptance and safety approvals add up to [...]

By |2022-05-11T13:25:38+01:00May 11th, 2022|Company News|

Prover published in Global Railway Review

Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article is now available online and open for everyone to read. In the interview, Gunnar explains how the railway industry can overcome the challenges of rail control projects. He talks about the typical challenges faced in [...]

By |2022-04-21T08:24:53+01:00April 21st, 2022|Company News|

Takeaways from the Signaling Design Automation Forum 2021

November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. It is a forum for sharing [...]

By |2021-12-09T11:05:06+01:00December 9th, 2021|Company News, Events|

LCF – For data exchange between humans and machines

Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured data. You will find the specification on HAL. Rail and metro managers all over the world are currently struggling with the same challenge: to move from a drawing-oriented view of data to a modern approach [...]

By |2021-05-18T15:42:20+01:00May 18th, 2021|Company News|
Go to Top