verificationTarget
P90263
predicate
Indicates that one entity is the object, subject, or content that another entity is intended to verify or validate.
Observed surface forms (3)
- tagVerification ×4
- verificationConcern ×2
- verificationScope ×2
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" ⓘ |