A New Approach to Bounded Model Checking for Branching Time Logics.

Rotem Oshman, Orna Grumberg

Browse the full ATVA paper archive.