verificationTarget

P90263
predicate

Indicates that one entity is the object, subject, or content that another entity is intended to verify or validate.

Try in SPARQL

All labels observed (4)

Label Occurrences
verificationTarget canonical 7
tagVerification 4
verificationConcern 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: verificationTarget
Generated description
Indicates that one entity is the object, subject, or content that another entity is intended to verify or validate.

Sample triples (15)

Subject Object
Symbolic Model Checking finite-state systems ⓘ
Symbolic Model Checking synchronous hardware circuits ⓘ
Symbolic Model Checking communication protocols ⓘ
Symbolic Model Checking concurrent software ⓘ
AEAD_CHACHA20_POLY1305 constant-time comparison recommended via predicate surface "tagVerification" ⓘ
United Nations human rights verification mission in El Salvador (pre-ONUSAL arrangements) alleged human rights violations by parties to the conflict via predicate surface "verificationScope" ⓘ
United Nations human rights verification mission in El Salvador (pre-ONUSAL arrangements) overall human rights situation in El Salvador via predicate surface "verificationScope" ⓘ
PMAC recompute-and-compare via predicate surface "tagVerification" ⓘ
PMAC message authentication code
surface form: PMAC
recompute-and-compare via predicate surface "tagVerification" ⓘ
UMAC recompute-and-compare via predicate surface "tagVerification" ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
C implementation of the seL4 kernel ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
abstract specification of kernel behavior ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
refinement chain from specification to implementation ⓘ
Mutual and Balanced Force Reductions talks on‑site inspections via predicate surface "verificationConcern" ⓘ
Mutual and Balanced Force Reductions talks data exchange via predicate surface "verificationConcern" ⓘ