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

Question in PVS

Hi, I have a question about the modal operator used in PVS. As far as I
know, PVS supports the use of temporal operator [] and <>. Could you tell
me the default definition of [] and <> in PVS since it doesn't seem to be
mentioned in "The PVS Specification Language"?