programming
Redundancy in Software
An experimental evaluation of the assumption of independence in multiversion programming – John Knight and Nancy Leveson Behind this dry title lies something very interesting. I first heard about this paper from Ralph Johnson in a newsgroup discussion about program correctness. It turns out that one of the avenues that engineers