using HITEC/PROOFS on ubuntu

Status
Not open for further replies.

vipul982

Junior Member level 3
Joined
Feb 2, 2010
Messages
30
Helped
0
Reputation
0
Reaction score
2
Trophy points
1,288
Location
India
Visit site
Activity points
1,465
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
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…