InnoTrans

Verify what’s new at Prover

By 2018-08-10T05:00:00

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 month. Register for FREE to read this article and get:

  • Increased 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

Unlock access now

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