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

Mark Lawford

E-mail
Company/University
McMaster University

Personal Profile:
Professional Interests:
Software Engineering, real-time systems, supervisory control

 

Watch this Author's files

 

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