Prover at CBTC World Congress- October 29th – 31st 2018!

Prover at CBTC World Congress- October 29th – 31st 2018!

By |2018-11-14T11:34:47+00:00October 18th, 2018|Events|

We will exhibit at CBTC World Congress!

Come to see and discover our market leading solutions for Formal Verification and Signaling Design Automation.

We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using Formal Verification.

Get to know Prover Trident – a proven Signaling Design Automation Solution for train control software.

Learn about two innovative languages enabling efficient Formal Verification and design Automation. The proven de-facto standard HLL and our new innovation LCF that radically improves efficiency of Formal Verification.

We look forward to meet at CBTC World Congress!

Liked it? Share it!