Using cubes of non-state variables with property directed reachability.

John D. Backes, Marc D. Riedel

Browse the full DATE paper archive.