Selective Search in Bounded Model Checking of Reachability Properties.

Maciej Szreter

Browse the full ATVA paper archive.