ComPort Software
BinFPE : Detecting floating-point exceptions in NVIDIA GPU applications
FLiT : Floating-Point Litmus Tester - Reproducibility testing framework
SATIRE : Scalable Abstraction-guided Technique for Incremental Rigorous analysis of round-off Errors
SEESAW : Scalable Error Analysis of Conditional Floating Point Programs
FPChecker : Detecting Floating-point Exceptions in GPU Applications
