Rank: 2842 based on 50 downloads (last 30 days) and 1 file submitted
photo

Colin Eles

E-mail
Company/University
McMaster University

Personal Profile:

 

Watch this Author's files

 

Files Posted by Colin Eles
Updated   File Tags Downloads
(last 30 days)
Comments Rating
13 Aug 2014 Screenshot Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles simulink, formal methods, gui, pvs, theorem proving, toolbox 50 2
  • 4.0
4.0 | 1 rating
Comments and Ratings on Colin Eles' Files View all
Updated File Comment by Comments Rating
24 Aug 2011 Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles Mark Lawford

Version 0.4.1 addresses problems with Matlab R2011a release. I've got the toolbox working with PVS 5.0 and CVC3 2.2 on Linux (Fedora 15).

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

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

10 Mar 2011 Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles Erdal Bizkevelci

Contact us