And now...
N-version advocates are still out there in an aggressive way
There are some experiments showing independence
There are attempts to introduce variety explicitly
- Different specs, different languages, etc.
I’m still completely opposed to this approach based on the Knight/Leveson experiments