Benchmark Problem 04 - Formal Methods

A set of benchmark problems to compare formal methods tools

バージョン 1.0.0.0 (332 KB)
ダウンロード: 71 件
(0)
2016/9/12

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

These are a set of benchmark problems that can be used to check the formal method tools. In case of Simulink the Design Verifier can be used for the proof and test case generation. All the models have a test case that is equivalent to a counter example. One needs to remove the test case and put in assertions to verify using formal methods.

引用

Yogananda Jeppu (2026). Benchmark Problem 04 - Formal Methods (https://jp.mathworks.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB Central File Exchange. に取得済み.

謝辞

ヒントを得たファイル: Function To Generate Truth Table Condition Vectors

カテゴリ

Help Center および MATLAB Answers で Simulink Design Verifier についてさらに検索

一般的な情報

MATLAB リリースの互換性

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

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

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