What is Correctness Proof?

A mathematical proof of consistency between a specification and its implementation. (Source: Committee on National Security Systems Glossary CNSSI 4009-2015)

How is Correctness Proof defined by The Cyber Glossary?

A mathematical proof of consistency between a specification and its implementation. (CNSSI-4009) (NISTIR) (Source: The Cyber Glossary)

Defined term

Correctness Proof

Correctness Proof: A mathematical proof of consistency between a specification and its implementation.

Verified

📚 Multi-Source

Election Administration

Definition Sources Related terms

Definition

A mathematical proof of consistency between a specification and its implementation.

Alternative Definitions

Definition 2: A mathematical proof of consistency between a specification and its implementation. (CNSSI-4009) (NISTIR)
Source: The Cyber GlossaryType: external

Sources

Committee on National Security Systems Glossary CNSSI 4009-2015

View Source

The Cyber Glossary

View Source

Continue Research

Browse the full glossary for adjacent terms, or subscribe for updates when definitions and sources are expanded.

Browse all terms More C terms Subscribe for updates

Definition

Alternative Definitions

Sources

Related Terms

ADA Accessibility Guidelines for Buildings and Facilities

Absent Ballot

Absent Ballot Mailing Precinct Inspection Board

Absent Voter

Continue Research