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
Comment only
10 Mar 2011
Tabular Expression Toolbox
A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.
Comment only