Rank: 2792 based on 21 downloads (last 30 days) and 1 file submitted
photo

Colin Eles

E-mail
Company/University
McMaster University

Personal Profile:
Professional Interests:

 

Watch this Author's files

 

Files Posted by Colin
  • 1 - 1 of
  • 1
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
23 Jul 2012 Screenshot Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles simulink, cvc3, block, pvs, theorem proving, toolbox 21 2
  • 4.0
4.0 | 1 rating
Comments and Ratings on Colin's Files View all
  • 1 - 3 of
  • 3
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 Lawford, Mark

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 Bizkevelci, Erdal

Top Tags Applied by Colin
  • 1 - 5 of
  • 12
block, cvc3, formal methods, gui, mathematics
Files Tagged by Colin
  • 1 - 1 of
  • 1
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
23 Jul 2012 Screenshot Tabular Expression Toolbox A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. Author: Colin Eles simulink, cvc3, block, pvs, theorem proving, toolbox 21 2
  • 4.0
4.0 | 1 rating

Contact us