verification

Verifying Integer Programming Results

  • Kevin Cheung
  • Ambros Gleixner
  • Daniel E. Steffy
    • Categories (Mixed) Integer Linear Programming Tags , , , , , ,

    Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of … Read more

    Mathematical Programming: Turing completeness and applications to software analysis

  • Leo Liberti
  • Fabrizio Marinelli
    • Categories (Mixed) Integer Nonlinear Programming, Applications - Science and Engineering, Global Optimization Applications Tags , , ,

    Mathematical Programming is Turing complete, and can be used as a general-purpose declarative language. We present a new constructive proof of this fact, and showcase its usefulness by discussing an application to finding the hardest input of any given program running on a Minsky Register Machine. We also discuss an application of Mathematical Programming to … Read more