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

Mark Lawford

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