Login / Signup

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.

Rafael Sá MenezesEdoardo ManinoFedor ShmarovMohannad AldughaimRosiane de FreitasLucas C. Cordeiro
Published in: CoRR (2024)
Keyphrases
  • interval analysis
  • autocalibration
  • constrained optimization
  • constraint propagation
  • scale space
  • optical flow
  • fuzzy set theory