1 comment of 2

[ 3.4 ms ] story [ 14.8 ms ] thread
Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.