Company News

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|

Major releases of PSL and Prover iLock

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 [...]

By |2020-02-21T13:51:57+01:00November 5th, 2019|Company News, Product News|

Prover now in China!

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 [...]

By |2019-10-01T08:01:07+01:00September 30th, 2019|Company News|

AI-powered Proof Tactics Pay Off

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 [...]

By |2020-12-01T14:32:24+01:00September 30th, 2019|Company News, Product News|

Ingénierie d’un monde plus sûr

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 [...]

By |2019-10-07T12:44:37+01:00September 18th, 2019|Company News|

CASCO Signal Ltd. licenses Formal Verification solution from Prover Technology

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 [...]

By |2021-11-20T12:03:26+01:00September 3rd, 2019|Company News, Formal Verification|

IKOS Consulting & Prover Technology join forces

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 [...]

By |2019-03-21T09:49:34+01:00March 21st, 2019|Company News|
Load More Posts
Go to Top