correctness proof 1 topic · 1 source TechnologyTelecommunicationsA mathematical proof of consistency between a specification and its implementation. [INFOSEC-99]ATIS — ATIS Telecom Glossary 2007 Cite