Another Look at LTL Model Checking.

Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi

Browse the full CAV paper archive.