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

Re: [PVS-Help] pvs-3.2 on Fedora Core 4


I upgraded my home machine to Fedora Core 4 over the holidays and
found that the PVS 3.3 release candidate seems to work OK.  You can
get it here: http://pvs.csl.sri.com/prototypes.shtml

I didn't test it thoroughly, so please let us know how it goes.

John Rushby