[SystemSafety] N-version programming moves the goal posts

[Derek M Jones]

Martyn,

> The paper emphasises that it's not N-version programming as originally conceived, and the author makes no claims about 
> achieving high dependability or fault-tolerance.

This paper uses the Knight-Leveson Launch Interceptor Program Specification
for N-Version Programming with Coding Agents
https://arxiv.org/abs/2606.20158

and some thoughts on specification based programming
https://shape-of-code.com/2026/06/14/specification-based-programming/

and a paper from earlier this week asks:
"Do programming languages still matter to your AI coding agent teammate?
Evidence at scale from chess engines"
https://arxiv.org/abs/2606.13763

-- 
Derek M. Jones           Evidence-based software engineering
blog:https://shape-of-code.com