Español
Un analizador estático que realiza análisis de forma.
El proyecto ya está alojado aquí: https://gitlab.inria.fr/memcad/memcad