SPARK is used by NVIDIA for the most secure compute code.

https://www.adacore.com/nvidia