Station naming deals announced
Runaway Rail Car Kicked Loose by Teen Hits New York Station
Škoda unveils its second tram for the Chinese market
Wabtec to buy Faiveley Transport for US$1·8bn
Constantine tram extension contract
Channel Tunnel: '2,000 migrants' tried to enter
Ottawa urban rail gets federal funding
UK and Italian operators order Vossloh locomotives
First Great Western and Eversholt sign Hitachi AT300 train contract
Tanzania, Rwanda and Burundi invite interest in DIKKM railway
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.
The company will also be helping people learn more about two languages for efficient formal verification and design automation, the ‘de facto standard’ HLL and its new LCF which Prover says radically improves the efficiency of formal verification.
This article first appeared on www.railwaygazette.com
About this website
Railpage version 3.10.0.0037
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest is © 2003-2019 Interactive Omnimedia Pty Ltd.
You can syndicate our news using one of the RSS feeds.