Login / Signup
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
Dirk Beyer
Po-Chun Chien
Nian-Ze Lee
Published in:
ASE (2023)
Keyphrases
</>
interval analysis
constrained optimization
autocalibration
computer vision
three dimensional
search space
hough transform