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

Re: Referring to PVS and PVS on Linux



Hi Pertti,

Pertti Kellomäki <pk@cs.tut.fi> writes:

> 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
> candidate.

Additionally, Red Hat Linux is not being phased away---commercial
academic licenses for Red Hat Enterprise are available and only $25
USD per year. See
   <http://www.redhat.com/solutions/industries/education/products/>

Best,
Joe Kiniry
-- 
Joseph R. Kiniry                    ID 78860581      ICQ 4344804 
SOS Group, University of Nijmegen  http://www.cs.kun.nl/~kiniry/
KindSoftware, LLC                   http://www.kindsoftware.com/
Board Chair: NICE                    http://www.eiffel-nice.org/