Probably not
Knight and Leveson did some experiments that showed that this assumption is probably false
- In particular, they showed that similar errors often arise in independently implemented versions of the same specifications
An additive benefit may arise from N-version programming, but not a multiplicative one