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

Mark Lawford

E-mail
Company/University
McMaster University

Personal Profile:

 

Watch this Author's files

 

Comments and Ratings by Mark Lawford
Updated File 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

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).

Contact us