View all newsletters
Receive our newsletter - data, insights and analysis delivered to you
11 September 2015

Prover Online from Prover Technology

Prover Technology has announced Prover Online, an online environment for integrated tool chains that perform formal verification of safety.

For many years, Prover Technology has provided best-in-class tools for development and safety assessment of rail control systems based on formal verification. The company has helped clients to specify generic safety requirements and has supplied integrated tool chains that automate safety assessment of individual systems.

Prover Technology can now offer an even more accessible and versatile environment hosted on high-performance hardware servers – Prover Online. By using Prover Online, it becomes easier to standardise on the use of formal verification-based safety assessment across distributed engineering teams, the work efficiency becomes improved and the IT support cost is reduced.

Prover Online will initially be available under time-based licensing of the software products Prover Extractor, for relay-based system development, and Prover Certifier, for sign-off safety verification based on approved safety specifications.

NEWSLETTER Sign up Tick the boxes of the newsletters you would like to receive. The top stories of the day delivered to you every weekday. A weekly roundup of the latest news and analysis, sent every Friday. The railway industry's most comprehensive news and information delivered every month.
I consent to GlobalData UK Limited collecting my details provided via this form in accordance with the Privacy Policy


Thank you for subscribing to Railway Technology