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

[PVS-Help] PVS and Yices



Hi,

the PVS Release Notes mention that Yices can be called from PVS.

Beyond the description provided by "help yices", is there any further
documentation for this integration that explains how the translation
works, and what it can (and cannot) prove automatically?

Many thanks in advance!

Regards,
Tjark