@misc{indiciaef009b2bc165e,
  title = {FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection},
  author = {Julien Bortolussi and Dorra Ben Khalifa and Pierre-Loïc Garoche},
  year = {2026},
  url = {https://arxiv.org/abs/2609.07492},
  note = {Source identifier: 2609.07492}
}