TY  - RPRT
TI  - FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
AU  - Julien Bortolussi
AU  - Dorra Ben Khalifa
AU  - Pierre-Loïc Garoche
PY  - 2026
UR  - https://arxiv.org/abs/2609.07492
ID  - 2609.07492
ER  -