Benchmark Problem 04 - Formal Methods

Version 1.0.0.0 (332 KB) by Yogananda Jeppu
A set of benchmark problems to compare formal methods tools
0.0
(0)
64 Downloads
Updated 12 Sep 2016

View License

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.

Cite As

Yogananda Jeppu (2024). Benchmark Problem 04 - Formal Methods (https://www.mathworks.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2016a
Compatible with any release
Platform Compatibility
Windows macOS Linux
Categories
Find more on Simulink Design Verifier in Help Center and MATLAB Answers

Community Treasure Hunt

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

Start Hunting!

Version Published Release Notes
1.0.0.0