Code covered by the BSD License
Colin Eles (view profile)
23 Sep 2010
13 Aug 2014)
A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.
function [ output_args ] = Untitled( input_args )
%UNTITLED Summary of this function goes here
% Detailed explanation goes here