News
Follow our Blog and Learn about current Events and Activities at Prover
Signaling Design Automation Forum 2021 – Paris
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for [...]
Subscribe here!
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 [...]
Introducing Prover Studio
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow
Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms [...]
New webinar on Signaling Design Automation
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is [...]
Verification of Safety Requirements
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
PSL – Best-in Class Formal Verification Performance
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
SOCIAL MEDIA