Automated Verification of Parallel Nested DFS written by Wytse, Marieke, Sebastiaan and Jaco has been accepted for this years edition of TACAS.