Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.

Chuan Jiang, Gianfranco Ciardo

Browse the full LPAR paper archive.