%% System Requirements
%
%% Matlab/Simulink
%
% * Tested with Matlab Simulink 2009b and 2010a
%% PVS (Prototype Verification System)
% * PVS is required to be installed in order to check for completness and
% disjointness of tables.
% * PVS is downloadable from http://pvs.csl.sri.com/
% * System has been tested on PVS versions 4.2 and 4.1
% * Ensure that pvs executable is on shell path
% * *Note:* PVS is a linux and OS X application and will not run natively
% on Windows.