Quantcast

Latest Prover Technology AB Stories

2011-03-15 07:00:00

STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that Ansaldo STS has placed an order for using Prover Certifier for ERTMS Level 2 interlocking systems delivered to Trafikverket, the Swedish Transport Administration. Prover Certifier is the only software product on the market that enables automatic production of the complete safety evidence for CENELEC EN50128 SIL 4 certification based on...

2010-05-04 08:52:00

STOCKHOLM and CALIFORNIA, May 4, 2010 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that it has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific (CP), a Class 1 railway company. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II,...


Word of the Day
barratry
  • The offense of persistently instigating lawsuits, typically groundless ones.
  • An unlawful breach of duty on the part of a ship's master or crew resulting in injury to the ship's owner.
  • Sale or purchase of positions in church or state.
This word ultimately comes from the Old French word 'barater,' to cheat.
Related