IC3
Also known as PDR. This is the canonical page; those names redirect here.
IC3 and property-directed reachability name the same algorithm; PDR is the common abbreviation.
Pairings in the atlas
- Property-directed reachabilityspecialistHardware verificationprogram-analysis