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.