Comment by quentinkent1

Also Mathworks Polyspace Code Prover: https://mathworks.com/products/polyspace-code-prover.html