Formal Functional Equivalence

Versione 2.2 (171 KB) da Pat Canny
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based technique to prove
0.0
(0)
13 download
Aggiornato 17 mag 2025
Visualizza la licenza su GitHub

Cita come

Pat Canny (2025). Formal Functional Equivalence (https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.2), GitHub. Recuperato .

Compatibilità della release di MATLAB
Creato con R2025a
Compatibile con R2022a e release successive
Compatibilità della piattaforma
Windows macOS Linux
Tag Aggiungi tag

Community Treasure Hunt

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

Start Hunting!

tests

tests

Versione Pubblicato Note della release
2.2

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.2
2.1.0.0

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.1
2.0

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.0
1.1

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v1.1
1.0

Per visualizzare o segnalare problemi su questo componente aggiuntivo di GitHub, visita GitHub Repository.
Per visualizzare o segnalare problemi su questo componente aggiuntivo di GitHub, visita GitHub Repository.