Verify what’s new at Prover

tn_innotrans-train-roofs_02.jpg

PROVER: A SIL-4 certified sign-off verification tool which can be used to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using Formal Verification will be highlighted by Prover, along with the Trident signalling design automation tool.

Please sign in or register for free to view this page

 

Sub Advert

You have reached your limit of news stories for this week. Register for FREE to read this article and get:

  • Unlimited access to online news coverage from:
  • Railway Gazette International covering the global railway industry
  • Metro Report International covering the urban transport sector
  • Rail Business UK industry news for the British railway market
  • Weekly e-mail newsletters covering the sector(s) of your choice
  • Exclusive offers for Railway Gazette Events.

If you are already a registered user or a subscriber you can SIGN IN now