using HITEC/PROOFS on ubuntu

[vipul982]

Hi all, I recently got to know about the free test generation/fault simulator tool called HITEC/proofs developed by university of illinois. I was wondering whether I will be able to install it on my personal laptop(ubuntu). Here is the webpage:
**broken link removed**


Looking forward for your valuable help.

Thanks,
Vipul

 

[jt_eaton]

The web page says it is compiled only for HP or Sun.

The web page was last updated in 1997.

Run away, run away fast.