Verification Glossary

Browse 13 verification terms defined in plain English, from the cultural dictionary of computing.

13 Verification Terms

Attestation
Attestation is a process that proves software, firmware, or hardware state to a verifier using signed measurements. Security teams use it to enforce trust,...
Chain of Verification
A prompting or workflow pattern where an AI system generates an answer and then explicitly checks or verifies important claims through additional reasoning or...
Dependent Type
A type that depends on a value — for example, Vector<n> where n is the length, allowing the compiler to verify that you never access an out-of-bounds index....
Identity Verification
The act of checking that a person or entity matches a claimed identity at a particular moment, often during onboarding, recovery, or high-risk transactions. It...
Integrity Check
A test used to confirm that data, files, firmware, or system state have not been altered unexpectedly. Integrity checks commonly rely on hashes, signatures,...
Integrity Verification
The process of proving that a system component, dataset, message, or file remains authentic and unmodified from a trusted state. Integrity verification is...
Out-of-Band Channel
A separate communication path used for verification, recovery, or coordination outside the primary channel being protected or monitored. Out-of-band channels...
Out-of-Band Verification
A verification step that uses an independent communication channel to confirm a request or identity claim. It shows up in application security, identity,...
Patch Validation
The verification that a patch was applied correctly and that it actually fixed the targeted issue without breaking required behavior. Patch validation can...
Testing
The practice of verifying that software behaves as expected through automated or manual checks. Encompasses unit tests, integration tests, end-to-end tests,...
TLA+
A formal specification language created by Leslie Lamport for modeling and verifying concurrent and distributed systems, using temporal logic of actions to...
Verification AI
AI systems or components used to verify claims, outputs, reasoning, or evidence rather than only generate new content. Verification AI is often used to reduce...
Webhook Secret
A shared secret used to verify that incoming webhook payloads actually come from the expected sender, typically via HMAC signature. Without it, anyone could...

Related Topics