Login / Signup

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.

Dirk BeyerPo-Chun ChienNian-Ze Lee
Published in: ASE (2023)
Keyphrases
  • interval analysis
  • constrained optimization
  • autocalibration
  • computer vision
  • three dimensional
  • search space
  • hough transform