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://kr.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