42 citations · 46 across the 9 of their papers we have counts for
1 paper · 1 filter
Max Blankestijn, Alfons Laarman
Property Directed Reachability (PDR) is a widely used technique for formal verification of hardware and software systems. This paper presents an incremental version of PDR (IPDR),…