Formal Functional Equivalence

Version 2.2 (171 KB) von 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 Downloads
Aktualisiert 17. Mai 2025
Lizenz auf GitHub anzeigen

Zitieren als

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

Kompatibilität der MATLAB-Version
Erstellt mit R2025a
Kompatibel mit R2022a und späteren Versionen
Plattform-Kompatibilität
Windows macOS Linux
Tags Tags hinzufügen

Community Treasure Hunt

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

Start Hunting!

tests

tests

Version Veröffentlicht Versionshinweise
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

Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.