Prover iLock

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

Tags: , , ,

Comments are closed.