Benchmark Problem 04 - Formal Methods

バージョン 1.0.0.0 (332 KB) 作成者: Yogananda Jeppu
A set of benchmark problems to compare formal methods tools
0.0
(0)
ダウンロード: 69
更新 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 (2025). Benchmark Problem 04 - Formal Methods (https://jp.mathworks.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB Central File Exchange. に取得済み.

MATLAB リリースの互換性
作成: R2016a
すべてのリリースと互換性あり
プラットフォームの互換性
Windows macOS Linux
カテゴリ
Help Center および MATLAB Answers で Simulink Design Verifier についてさらに検索
タグ タグを追加
謝辞

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

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

バージョン 公開済み リリース ノート
1.0.0.0