Software Links

Program Verification:

  • GPUVerify: a Verifier for GPU Kernels.
  • Boogie: An Intermediate Verification Language.

Semidefinite Programming:

  • SPECTRA: Semidefinite Programming solved Exactly with Computational Tools of Real Algebra.
  • Mosek: a solver for various mathematical optimization problems.
  • SDPT3: a MATLAB software for semidefinite-quadratic-linear programming.
  • SDPA: Semidefinite Programming Algorithms.
  • Yalmip: a MATLAB toolbox for advanced modeling and solution of convex and nonconvex optimization problems.
  • Ncpol2sdpa: Python library for polynomial optimization problems of noncommutative variables.