dzhang314/FPANVerifier
Automatic verifier for floating-point accumulation networks using the SELTZO abstraction
GitHub repository with 5 stars and 2 forks.
Language: Julia
Latest metric snapshot
2026-11-02: 5 stars and 2 forks.
Automatic verifier for floating-point accumulation networks using the SELTZO abstraction
GitHub repository with 5 stars and 2 forks.
Language: Julia
2026-11-02: 5 stars and 2 forks.