A programação de N-versões utilizada em sistemas críticos caracteriza-se pela implementação de uma série de versões de código referentes a uma mesma especificação de software, as quais são executadas de forma paralela em computadores distintos.