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

[PVS-Help] PVS logical engine

Dear PVS users,

I'm interested in the logical inference engine of PVS. I have found

The Formal Semantics of PVS


for the logical metatheory of PVS. I would be interested also in the
algorithms used. What papers need I read?

Best Wishes

- Gergely