Deutsch
Ein statischer Analysator, der Formanalyse durchführt.
Das Projekt wird jetzt hier gehostet: https://gitlab.inria.fr/memcad/memcad