## 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.