Rank: 36988 based on 0 downloads (last 30 days) and 0 file submitted


McMaster University

Personal Profile:


Watch this Author's files


Comments and Ratings by Billy
Updated File Comments Rating
09 Jun 2011 Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles

I'm having a lot of trouble in trying to get this toolbox to operate efficiently on Matlab r2011a. Namely: there are a fair amount of uicontrol callback problems whenever I use the GUI to create the tabular modules. I followed the instructions to the letter and added all of the files to the matlab path. The smt solvers are both accessible by matlab.

solvers being used: cvc3 2.2 and pvs5- allegro

Contact us