Benchmark Problem 04 - Formal Methods
A set of benchmark problems to compare formal methods tools
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
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 (2026). Benchmark Problem 04 - Formal Methods (https://nl.mathworks.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB Central File Exchange. Retrieved .
Acknowledgements
Inspired by: Function To Generate Truth Table Condition Vectors
General Information
- Version 1.0.0.0 (332 KB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.0.0.0 |
