Answers are grounded in this paper and cite their sources.
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching sizes that are many orders of magnitude beyond the reach of formal or automated verification techniques.
No takes yet. Share an insight, caveat, or question.
Bacon et al. (2009) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: