BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs.

Anton Wijs

Browse the full CAV paper archive.