[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] PVS Hangs


I am proving a lemma and I am close to completing the proof and when I 
use "assert" in one of the steps , nothing seems to happen. It is as if 
PVS hangs. The only thing then left to do is to reset PVS. What is the 
solution for this?

Thank you.