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

Does PVS support temporal logic?



Hello,

Please let me known if PVS support the specification with temporal
logic?

If not, do you known any other system like PVS but it support temporal
logic.

Thank you very much for your help!

Tung