Benchmark Problem 04 - Formal Methods
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.
Citation pour cette source
Yogananda Jeppu (2024). Benchmark Problem 04 - Formal Methods (https://www.mathworks.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB Central File Exchange. Extrait(e) le .
Compatibilité avec les versions de MATLAB
Plateformes compatibles
Windows macOS LinuxCatégories
Tags
Remerciements
Inspiré par : 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!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
Version | Publié le | Notes de version | |
---|---|---|---|
1.0.0.0 |