CMP.6:7 - Conformance Checklist

• The candidate, admissible changes, comparison criterion and requested conclusion are stated.
• The local information and the operation obtaining an update are available under the stated inputs.
• The finite step or replacement has the required feasibility and improvement account.
• Repetition has the claimed termination, convergence or limited progress conditions.
• The stopping test supports the wanted answer rather than merely detecting small changes.
• The cost comparison includes direction construction, trials, state updates and consequential arithmetic or information costs.
• A changed condition is followed through the update and its result claim before reuse.