Ada/SPARK is underrepresented as well. Correctness? You most definitely got it. Performance? Yep. Easy-to-use language constructs for concurrency? Yep. And so on and so on.