Для критичных вещей явно нужен язык без описаний уб на 40 страниц
Ну я где-то видел стандарты написания кода у наса, прям целый документ был специальный
Содержания уже я не помню, но наверняка там есть жесткий стайл гайд как правильно писать на С++ для их задач. Учитывая еще то, что могут быть ситуации, которые связаны не только с UB, а с агрессивной космической средой. И с этим тоже нужно бороться.