Formal Functional Equivalence

Versión 2.2 (171 KB) por 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 Descargas
Actualizado 17 may 2025
Ver licencia en GitHub

Citar como

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

Compatibilidad con la versión de MATLAB
Se creó con R2025a
Compatible con cualquier versión desde R2022a
Compatibilidad con las plataformas
Windows macOS Linux
Etiquetas Añadir etiquetas

tests

tests

Versión Publicado Notas de la versión
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

Para consultar o notificar algún problema sobre este complemento de GitHub, visite el repositorio de GitHub.
Para consultar o notificar algún problema sobre este complemento de GitHub, visite el repositorio de GitHub.