IPL's testing tools have been at the forefront of software verification since their introduction in early 1990's. Their use has featured in many high profile projects ranging from telecommunications, medical instruments, air-traffic control, avionics, rail transport, automotive, space, defence, nuclear energy, financial and digital broadcast systems. The common factor in all of these areas is the imperative to produce software which reliably “does what it should do”, in a cost-effective manner.