Comment by russfink

Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.