Disambiguation evidence for IC3 model checking algorithm via surface form
"IC3 / Property Directed Reachability (PDR) algorithm"
Triples (1)
Triples where some other subject referred to this entity
as "IC3 / Property Directed Reachability (PDR) algorithm".
Kenneth L. McMillan
→
developed
→
"IC3 / Property Directed Reachability (PDR) algorithm"
ⓘ
↳ resolves to IC3 model checking algorithm