Posts Tagged ‘Prover iLock’

Prover iLock

Tuesday, May 4th, 2010

Just received news that Canadian Pacific will standardize on Prover iLock for Interlocking System Design, Simulation and Formal Verification. Prover iLock is a product by Prover Technology, the company I co-founded many years ago.

Way to go guys!
/M