News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
Time to start offering AI-tuned proof tactics to the world!
The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first [...]
SOCIAL MEDIA