Using Cadnece SMV model checker

Dear all,

I was trying to download the SMV model checker from the website  http://www.kenmcmil.com/smv.html. But, once I click the link given in the bottom of the page, its leading me to the main page of Cadence and not the download section of the Model checker. 

Is there any other way to download the Cadence SMV tool (or equivalent student versions). I was using VIS Model checker from Colorado university, but the support is very poor.

Thanks a lot