# System Requirements

## Contents

- Matlab/Simulink
- Table Checking
- CVC3
- PVS (Prototype Verification System)

## Matlab/Simulink

- Tested with Matlab Simulink 2009b and 2010a

## Table Checking

- The tool supports checking of table completness and disjointness through the support of external tools *

## 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 OS X application and will not run natively on Windows.