Verification with unfoldings