Tabular Expression Toolbox

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

バージョン (1.76 MB)
ダウンロード: 3.2K 件
(3)
2015/4/26
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more

現在この提出コンテンツをフォロー中です。

引用

Colin Eles (2026). Tabular Expression Toolbox (https://jp.mathworks.com/matlabcentral/fileexchange/28812-tabular-expression-toolbox), MATLAB Central File Exchange. に取得済み.

謝辞

ヒントを得たファイル: statusbar

カテゴリ

Help Center および MATLAB Answers で Function Creation についてさらに検索

一般的な情報

MATLAB リリースの互換性

  • すべてのリリースと互換性あり

プラットフォームの互換性

  • Windows
  • macOS
  • Linux
新しいタブで開く
バージョン 公開済み リリース ノート
1.23.0

Version 0.7.4 - Initial release for MATLAB R2014b/R2015a.
ダウンロード

  • 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.
ダウンロード

  • 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.
ダウンロード

  • 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.
ダウンロード

  • 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.
ダウンロード

  • 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.
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.17.0

Updated to version 0.5, fixed compatibility issues with Matlab 2011b.
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.15.0

Updated to support Matlab R2011a, PVS 5.0 and minor documentation updates.
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.12.0

Added support for PVS 5.0
ダウンロード

  • 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
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.9.0

v0.3.1 minor bug fixes, update recommended if using cvc3.
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.8.0

Slight modification to the Description.
ダウンロード

  • 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.
ダウンロード

  • 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.
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.5.0

shouldn't have zipped with OS X
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.4.0

Removed some unneeded files
ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.0.0

ダウンロード

  • Install in MATLAB

    Requires R2026b and later. Learn more