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 [...]
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 [...]
On September 20-23, Prover will be at Innotrans 2022! Come join us in hall 11.2 stand 260 to discuss the typical challenges faced in the procurement and development of rail control projects. We will talk about how these can be mastered with a modern approach based on Signaling Design Automation (SDA) and the use [...]
Founded in 1989, after more than 30 years of development, Prover is now an international company, with branches in Sweden, France, China, and the US. The company has participated in railway projects all over the world and with customers such as ALSTOM, Siemens, CASCO, RATP, NYCT etc. In Prover, there are employees who have [...]
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 [...]
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 [...]
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 [...]
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 [...]
The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first release of our AI-guided fine-tuning toolset, also known as PSL fine-tuner, for broader internal use. Our ambition is that fine-tuning of PSL proof tactics could be offered as part of Prover Cloud Apps in the [...]
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE 754 floating point calculations. We have tested the performance in real world industrial examples and in this blog post we will take a look at the floating point performance of PSL on a real world [...]
