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

[PVS-Help] A beginner's qustion -- How to specify a "while" loop ora "for" loop in PVS?



Hi!

 

I am a beginner of PVS.

 

Surprisingly, I couldn’t find a way to directly specify a “while” loop or a “for” loop in PVS. Can anybody give me an example if you happen to have one?

 

Thank you very much!

 

Sincerely,

Zhenyu Tan