Skip to content
Snippets Groups Projects
Commit 24955f3c authored by Colin Eles's avatar Colin Eles
Browse files

updated user manual system requirements

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@8196 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent a9c58537
No related branches found
No related tags found
No related merge requests found
......@@ -64,7 +64,7 @@ classdef GUI < handle
multi_opt_out = [];
prover_opt_pvs = [];
prover_opt_cvc = [];
version = '0.4.1';
version = '0.5';
undo_man = [];
undo_opt = [];
redo_opt = [];
......
......@@ -2,7 +2,7 @@
%
%% Matlab/Simulink
%
% * Tested with Matlab Simulink 2011a, 2010a, 2009b
% * Tested with Matlab Simulink 2011b, 2011a, 2010a, 2009b
%
%% Table Checking
% * The tool supports checking of table completness and disjointness
......
......@@ -6,7 +6,7 @@
<!--
This HTML was auto-generated from MATLAB code.
To make changes, update the MATLAB code and republish this document.
--><title>System Requirements</title><meta name="generator" content="MATLAB 7.12"><link rel="schema.DC" href="http://purl.org/dc/elements/1.1/"><meta name="DC.date" content="2011-08-23"><meta name="DC.source" content="TT_gs_req.m"><style type="text/css">
--><title>System Requirements</title><meta name="generator" content="MATLAB 7.13"><link rel="schema.DC" href="http://purl.org/dc/elements/1.1/"><meta name="DC.date" content="2012-01-10"><meta name="DC.source" content="TT_gs_req.m"><style type="text/css">
body {
background-color: white;
......@@ -62,14 +62,14 @@ p.footer {
color: gray;
}
</style></head><body><div class="content"><h1>System Requirements</h1><!--introduction--><!--/introduction--><h2>Contents</h2><div><ul><li><a href="#1">Matlab/Simulink</a></li><li><a href="#2">Table Checking</a></li><li><a href="#3">CVC3</a></li><li><a href="#4">PVS (Prototype Verification System)</a></li></ul></div><h2>Matlab/Simulink<a name="1"></a></h2><div><ul><li>Tested with Matlab Simulink 2011a, 2010a, 2009b</li></ul></div><h2>Table Checking<a name="2"></a></h2><div><ul><li>The tool supports checking of table completness and disjointness through the support of external tools</li><li>This tool will work with either or both of the tools installed.</li><li>It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.</li></ul></div><h2>CVC3<a name="3"></a></h2><div><ul><li>CVC3 is supported for checking for completness and disjointness of tables</li><li>CVC3 can be downloaded from <a href="http://cs.nyu.edu/acsys/cvc3/">http://cs.nyu.edu/acsys/cvc3/</a></li><li>Ensure that cvc3 is executable on the shell path.</li><li>CVC3 is available for Linux/OS X and Windows.</li></ul></div><h2>PVS (Prototype Verification System)<a name="4"></a></h2><div><ul><li>PVS is supported for checking for completness and disjointness of tables.</li><li>PVS is downloadable from <a href="http://pvs.csl.sri.com/">http://pvs.csl.sri.com/</a></li><li>System has been tested on PVS versions 5.0, 4.2 and 4.1</li><li>Ensure that pvs executable is on shell path</li><li><b>Note:</b> PVS is a Linux and MacOS X application and will not run natively on Windows.</li></ul></div><p class="footer"><br>
Published with MATLAB&reg; 7.12<br></p></div><!--
</style></head><body><div class="content"><h1>System Requirements</h1><!--introduction--><!--/introduction--><h2>Contents</h2><div><ul><li><a href="#1">Matlab/Simulink</a></li><li><a href="#2">Table Checking</a></li><li><a href="#3">CVC3</a></li><li><a href="#4">PVS (Prototype Verification System)</a></li></ul></div><h2>Matlab/Simulink<a name="1"></a></h2><div><ul><li>Tested with Matlab Simulink 2011b, 2011a, 2010a, 2009b</li></ul></div><h2>Table Checking<a name="2"></a></h2><div><ul><li>The tool supports checking of table completness and disjointness through the support of external tools</li><li>This tool will work with either or both of the tools installed.</li><li>It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.</li></ul></div><h2>CVC3<a name="3"></a></h2><div><ul><li>CVC3 is supported for checking for completness and disjointness of tables</li><li>CVC3 can be downloaded from <a href="http://cs.nyu.edu/acsys/cvc3/">http://cs.nyu.edu/acsys/cvc3/</a></li><li>Ensure that cvc3 is executable on the shell path.</li><li>CVC3 is available for Linux/OS X and Windows.</li></ul></div><h2>PVS (Prototype Verification System)<a name="4"></a></h2><div><ul><li>PVS is supported for checking for completness and disjointness of tables.</li><li>PVS is downloadable from <a href="http://pvs.csl.sri.com/">http://pvs.csl.sri.com/</a></li><li>System has been tested on PVS versions 5.0, 4.2 and 4.1</li><li>Ensure that pvs executable is on shell path</li><li><b>Note:</b> PVS is a Linux and MacOS X application and will not run natively on Windows.</li></ul></div><p class="footer"><br>
Published with MATLAB&reg; 7.13<br></p></div><!--
##### SOURCE BEGIN #####
%% System Requirements
%
%% Matlab/Simulink
%
% * Tested with Matlab Simulink 2011a, 2010a, 2009b
% * Tested with Matlab Simulink 2011b, 2011a, 2010a, 2009b
%
%% Table Checking
% * The tool supports checking of table completness and disjointness
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment