[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

http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps

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

Best Wishes

- Gergely