FPANVerifier. Automatic verifier for floating-point accumulation networks using the SELTZO abstraction

github.com/dzhang314/FPANVerifier
by @dzhang314

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.