Due to technical problems, please follow the link below for the full version of the paper (CARET Model Checking for Pushdown Systems): https://www.irif.univ-paris-diderot.fr/_media/users/huvuu/fullversion.pdf