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

[PVS] recommended platform

I am starting a project using PVS, and am trying to decide what 
computers to purchase.
I know that Linux and Solaris platforms are supported, but what about 
size and speed
of the computers?  Any recommendations?  We will eventually be working 
with large

Nancy Griffeth
Lehman College
City University of New York