UvA - DARE ( Digital Academic Repository ) Preliminaries to an investigation of reduced product set finance
- J . A . Bergstra, C . A . Middelburg
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.