Corese has moved to https://project.inria.fr/corese/.