Algorithm correctness
Algorithm correctness separates partial correctness from termination; total correctness requires both.
atlas-algorithm-correctness · canonical_mko
Algorithm correctness
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data