General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found for the case of safety critical embedded control code.
@article{arxiv.1009.2902,
title = {Informal Control code logic},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:1009.2902},
year = {2010}
}