verificationDomain
P186553
predicate
Indicates that one entity serves as the domain or scope within which the other entity’s validity, correctness, or compliance is checked or confirmed.
Sample triples (3)
| Subject | Object |
|---|---|
| IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness | bit-level hardware verification ⓘ |
| IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness | software model checking via Boolean transition systems ⓘ |
| IC3 algorithm | finite-state transition systems ⓘ |