From 10cd524bf99d0762b81e6b3ff0787f5431dc8d9f Mon Sep 17 00:00:00 2001 From: Mark Lawford Date: Tue, 23 Aug 2011 19:53:34 +0000 Subject: [PATCH] Added support for PVS 5.0 to requirements. git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7729 57e6efec-57d4-0310-aeb1-a6c144bb1a8b --- html/TT_gs_req.m | 2 +- html/html/TT_gs_req.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/html/TT_gs_req.m b/html/TT_gs_req.m index 760a4db..52697c0 100644 --- a/html/TT_gs_req.m +++ b/html/TT_gs_req.m @@ -22,7 +22,7 @@ % * PVS is supported for checking 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 +% * System has been tested on PVS versions 5.0, 4.2 and 4.1 % * Ensure that pvs executable is on shell path % * *Note:* PVS is a Linux and MacOS X application and will not run natively % on Windows. diff --git a/html/html/TT_gs_req.html b/html/html/TT_gs_req.html index f8370b6..d60faf7 100644 --- a/html/html/TT_gs_req.html +++ b/html/html/TT_gs_req.html @@ -62,7 +62,7 @@ p.footer { color: gray; } -

System Requirements

Contents

Matlab/Simulink

  • Tested with Matlab Simulink 2011a, 2010a, 2009b

Table Checking

  • The tool supports checking of table completness and disjointness through the support of external tools
  • This tool will work with either or both of the tools installed.
  • It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.

CVC3

  • CVC3 is supported for checking for completness and disjointness of tables
  • CVC3 can be downloaded from http://cs.nyu.edu/acsys/cvc3/
  • Ensure that cvc3 is executable on the shell path.
  • CVC3 is available for Linux/OS X and Windows.

PVS (Prototype Verification System)

  • PVS is supported for checking 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 MacOS X application and will not run natively on Windows.


+

System Requirements

Contents

Matlab/Simulink

  • Tested with Matlab Simulink 2011a, 2010a, 2009b

Table Checking

  • The tool supports checking of table completness and disjointness through the support of external tools
  • This tool will work with either or both of the tools installed.
  • It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.

CVC3

  • CVC3 is supported for checking for completness and disjointness of tables
  • CVC3 can be downloaded from http://cs.nyu.edu/acsys/cvc3/
  • Ensure that cvc3 is executable on the shell path.
  • CVC3 is available for Linux/OS X and Windows.

PVS (Prototype Verification System)

  • PVS is supported for checking for completness and disjointness of tables.
  • PVS is downloadable from http://pvs.csl.sri.com/
  • System has been tested on PVS versions 5.0, 4.2 and 4.1
  • Ensure that pvs executable is on shell path
  • Note: PVS is a Linux and MacOS X application and will not run natively on Windows.


Published with MATLAB® 7.12