From more than two months down to less than two weeks, or six times faster. From almost two weeks down to just five hours, or sixty times faster! These are the kind of speed ups that we are now obtaining in PSL (Prover SL CE) by boosting our turbo-threads technology using AI-optimized proof tactics. Make [...]
We are proud to present new major versions of two of our most important products! Thanks to all of you who provided us with feedback about your project needs. We are determined to always improve our solutions and to be the obvious choice for everyone who wants to automate their processes. PSL 4 – model [...]
Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team is delighted to serve this dynamic market and is looking forward to contributing to its continued growth. One and a half year ago we decided to execute a China market strategy and I am very [...]
Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)! We are now able to solve some of the hardest benchmarks in our suite in half the time, and in some cases even 10 times faster! In fact, we are not only getting faster but also more [...]
Prover est une entreprise destinée aux personnes qui souhaitent faire la différence et contribuer à un monde durable et sûr. Prover est un pionnier de la vérification formelle de système critique embarqué, du développement d’atelier métier de CAO (Conception Assistée par Ordinateur) pour le marché du ferroviaire avec une expertise de traduction des différents langages [...]
We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover Technology (Prover) have entered into a long-term agreement for the supply of Prover’s Signal Design Automation product suite Prover Trident. The initial focus is to further strengthen CASCO’s position as a leading supplier of signaling systems for China’s railway segment, by the use [...]
We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development of Rail Control Systems. Innovative transport systems require a higher level of automation and safety. PROVER addresses these challenges with its "Prover Trident" and "Prover Certifier" solutions, which enable the cost-efficient development of safe railway [...]
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing signaling solutions. Most interlocking system projects today are developed with the following characteristics: Errors are found late Late changes are costly Schedules to deliver interlocking software are long and unpredictable There is a need to [...]
With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far with auto-generated programs in service. At Roslags Näsby, Roslagsbanan forks into two branches, which makes the station a bit more involved than the average, with 14 switches. The project of auto-generating programs for Roslagsbanan with [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, starting in Shanghai, in order to further explore the Chinese interlocking market. The railway market in China represents a huge opportunity, (as it plans to massively expand the railway network), and at the same time [...]
