Tabular Expression Toolbox

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.

Versión (1,76 MB)
3,2K Descargas
(3)
26 abr 2015
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more

Ahora está siguiendo esta publicación

Citar como

Colin Eles (2026). Tabular Expression Toolbox (https://es.mathworks.com/matlabcentral/fileexchange/28812-tabular-expression-toolbox), MATLAB Central File Exchange. Recuperado .

Agradecimientos

Inspirado por: statusbar

Categorías

Más información sobre Function Creation en Help Center y MATLAB Answers.

Información general

Compatibilidad con la versión de MATLAB

  • Compatible con cualquier versión

Compatibilidad con las plataformas

  • Windows
  • macOS
  • Linux
Abrir en una nueva pestaña
Versión Publicado Notas de la versión
1.23.0

Version 0.7.4 - Initial release for MATLAB R2014b/R2015a.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.22.0

Version 0.7.3 - Fixed a critical bug related to creating new variables. It is
recommend to re-save all tables to fix any issues. Please see
http://goo.gl/mzq7os for details.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.21.0

Version 0.7.2 - Modify the saving process to provide a stable on disk format. Now when tables are saved, the Simulink Model will not change if the table itself is unmodified. This format is fully compatible with previous versions.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.20.0

Version 0.7.1 - Fixed a bug that occurred when opening tables that prevented the tool from working correctly and prevented Matlab from exiting.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.19.0

Version 0.7 - Updated to support PVS 6.0. Bug fixes for Linux version to handle issues with Matlab including older versions libstdC++ and other shared libraries. Tested with MATLAB R2011b through to R2013a.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.18.0

Version 0.6 - Numerous bug fixes including a severe bug that prevented the user from opening a saved table.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.17.0

Updated to version 0.5, fixed compatibility issues with Matlab 2011b.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.15.0

Updated to support Matlab R2011a, PVS 5.0 and minor documentation updates.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.12.0

Added support for PVS 5.0
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.11.0

Added support for type checking floating point numbers using the NASA PVS library, updated documentation.

Minor bug fixes
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.9.0

v0.3.1 minor bug fixes, update recommended if using cvc3.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.8.0

Slight modification to the Description.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.7.0

V0.3 adds support for CVC3 a model checker which can be used in place of or along side pvs.
Additional documentation is provided, there have been changes to the interface generalizing some of the wording, as well as many bug fixes.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.6.0

Updated help files; added new mode to use Simulink typing, rather than PVS typing, when proving tables; some bug fixes.
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.5.0

shouldn't have zipped with OS X
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.4.0

Removed some unneeded files
Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.0.0

Descargar

  • Install in MATLAB

    Requires R2026b and later. Learn more