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

Mark Lawford

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