News from prover technology A wide array of domestic and global news stories; news topics include politics/government, business, technology, religion, sports/entertainment, science/nature, and health/lifestyle.

Latest

Nov 04, 2014, 02:00 ET Stockholm Metro Licenses Prover iLock for Interlocking System Configuration and Requirement Generation

Prover iLock solution aims to establish a standard interface for signaling system requirements STOCKHOLM, Sweden, Nov. 4, 2014 /CNW/ - Prover Technology, a leading solutions provider of rail control...


Sep 12, 2013, 03:30 ET Prover Technology Announces Prover Online

Online Environment Increases Efficiency in Formal Verification-Based Safety Assessment of Rail Control Systems STOCKHOLM, Sept. 12, 2013 /CNW/ - Prover Technology, a world leader in software...


Sep 17, 2012, 08:00 ET Infrabel Orders Prover ilock for Validation of Requirements for Level Crossing Systems

Efficient Requirements Validation with Prover iLock Based on Formal Requirement Specifications in PiSPEC TOULOUSE, France, Sept. 17, 2012 /CNW/ - Prover Technology, a world leader in software...


Sep 12, 2012, 08:00 ET GE Transportation Orders Turnkey Delivery of Interlocking Rail Control Software Developed With Prover iLock

Supply of Interlocking Rail Control Software Developed with Prover iLock for Stockholm Public Transport SL's Light Rail System Tvärbanan STOCKHOLM, Sept. 12, 2012 /CNW/ - Prover Technology, a world...


May 04, 2010, 10:08 ET Canadian Pacific Standardizes on Prover iLock for Interlocking System Design,
Simulation and Formal Verification

Following Successful Deployment of Prover Technology's Test Sheet Generation Solution, CP Orders Complete Prover iLock Solution STOCKHOLM and CALIFORNIA, May 4 /CNW/ - Prover Technology, the world...