Help for the module: pvs2

The pvs2 Module

This module adds PATHs and variables that allows you to
access the pvs2 software. This software is only available in Computer Science.

Website: http://pvs.csl.sri.com/

For information on modules, see the Modules page.

Back to software list

©2009 Regents of the University of Minnesota. All rights reserved.	Contact U of M \| Privacy
The University of Minnesota is an equal opportunity educator and employer.	Last modified on October 26, 2007

IT Labs Online Help