Code covered by the BSD License  

Highlights from
Tabular Expression Toolbox

image thumbnail

Tabular Expression Toolbox

by

 

23 Sep 2010 (Updated )

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.

TableToolMatlab( input_args )
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
function [ output_args ] = TableToolMatlab( input_args )
%TABLETOOLMATLAB Summary of this function goes here
%   Detailed explanation goes here

TTdiag('Open','Matlab');
end

Contact us