Benchmark Problem 04 - Formal Methods

Versión 1.0.0.0 (332 KB) por Yogananda Jeppu
A set of benchmark problems to compare formal methods tools
0.0
(0)
66 Descargas
Actualizado 12 sep 2016

Ver licencia

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.

Citar como

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

Compatibilidad con la versión de MATLAB
Se creó con R2016a
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Simulink Design Verifier en Help Center y MATLAB Answers.

Community Treasure Hunt

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

Start Hunting!

Versión Publicado Notas de la versión
1.0.0.0