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

Referring to PVS and PVS on Linux

First a question to PVS folks at SRI. What are the general
references to PVS you would recommend? In other words, what
should go within \cite{} when one says something like "The
PVS~\cite{...} system was used..."?

My second question concerns SUSE Linux. Can anyone confirm
whether PVS runs or not on SUSE? Now that Red Hat Linux
is being phased away, I am looking at SUSE as a potential