Hello. I believe you should add Ada/SPARK as they are known for writing correct programs, static analysis, and formal verification.
That's a good idea, do you have some references I could use? I can try to look for something myself, but currently my studies take up a lot of my time, which means I will update this as soon as I find the time and motivation.