1 comment of 2

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