Trusting computers through trusting humans: software verification in a safety-critical information system
Journal Article
Adam, A., & Spedding, P. Trusting computers through trusting humans: software verification in a safety-critical information system. International Journal of Technology and Human Interaction, 3(4), 1-14
This article considers the question of how we may trust automatically generated program code. The code
walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring
themselves that a mathematical proof is...
Read More about Trusting computers through trusting humans: software verification in a safety-critical information system.