Надежное программирование в разрезе языков. Часть 2 — Претенденты - Первая часть с функциональными требованиями тут
Заявленные как языки программирования с прицелом на надежность.
В алфавитном порядке — Active Oberon, Ada, BetterC, IEC 61131-3 ST, Safe-C. Читать дальше → [Habr.com]