Formal Functional Equivalence

Version 2.2 (171 KB) by 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
Updated 17 May 2025
View License on GitHub

Cite As

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

MATLAB Release Compatibility
Created with R2025a
Compatible with R2022a and later releases
Platform Compatibility
Windows macOS Linux
Tags Add Tags

tests

tests

Version Published Release Notes
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

To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.