Complexity of pattern-based verification for multithreaded programs.

Javier Esparza, Pierre Ganty

Browse the full POPL paper archive.