Model Checking CTL is Almost Always Inherently Sequential.

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider

Browse the full TIME paper archive.