Resources: page=11
individuals or groups produce the required versions of the software without interaction (which ensures design diversity).
Once designed and written, the programs execute concurrently with the same inputs and their results are compared by a driver process. This yields Redundant results.
Assumptions and Possible Flaws
Assumption: -version programming is based on the assumption that a program can be completely, consistently and unambiguously specified, and that programs which have been developed independently will fail independently.
Flaw: If it written in the same programming language, similar bugs may appear. Same compiler, or type of machine, etc.