dSPIN: A Dynamic Extension of SPIN