Русский
Статический анализатор, проводящий анализ формы.
Проект теперь размещен здесь: https://gitlab.inria.fr/memcad/memcad