Rank: 3969 based on 30 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
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 30 2
  • 4.0
4.0 | 1 rating
Comments and Ratings on Colin's 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 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

Contact us