Disambiguation evidence for IC3 model checking algorithm via surface form
"Property Directed Reachability"
Triples (2)
Triples where some other subject referred to this entity
as "Property Directed Reachability".
IC3 model checking algorithm
→
alsoKnownAs
→
"Property Directed Reachability"
ⓘ
↳ resolves to IC3 model checking algorithm
IC3 algorithm
→
alternativeName
→
"Property Directed Reachability"
ⓘ
↳ resolves to IC3 model checking algorithm