fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability.

Tobias Seufert, Christoph Scholl

Browse the full DATE paper archive.