One of my professors at uni was involved in the flight computers of the Eurofighter and tells the same thing: different teams were given identical specification

One of my professors at uni was involved in the flight computers of the Eurofighter and tells the same thing: different teams were given identical specifications but contact between them was forbidden so they were forced to develop completely different implementations in order to avoid shared bugs that could affect all computers at once.