2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo.md 2.34 KB
Newer Older
Steven de Oliveira's avatar
Steven de Oliveira committed
1 2 3 4 5 6
title=Réunion annuelle du Club des utilisateurs d’Alt-Ergo
authors=Aurore Dromby
date=2020-03-03
category=Formal Methods
tags=alt-ergo

7 8
![Alt-Ergo meeting](assets/img/altergo-meeting.jpeg)
![Logo Alt-Ergo](../assets/img/logo_altergo.png)
Steven de Oliveira's avatar
Steven de Oliveira committed
9 10 11

La deuxième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu à la mi-février ! Notre réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Cette année, nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de route concernant les développements et les améliorations futures d’Alt-Ergo.

12
> Alt-Ergo est un vérificateur automatique de formules mathématiques, développé conjointement par le [LRI](https://www.lri.fr/) et OCamlPro (depuis 2014). Pour en savoir plus ou rejoindre le Club, visitez le site [https://alt-ergo.ocamlpro.com/](https://alt-ergo.ocamlpro.com).
Steven de Oliveira's avatar
Steven de Oliveira committed
13 14 15

Notre Club a plusieurs objectifs, le premier étant de garantir la pérennité d’Alt-Ergo en favorisant la collaboration entre les membres du Club et en renforçant la collaboration avec les communautés de méthodes formelles telles que Why3. L’une de nos priorités est d’augmenter le nombre d’utilisateurs de notre outil en l’étendant à de nouveaux domaines tels que le Model Checking, la participation à des compétitions internationales étant également un moyen de gagner en visibilité. Enfin, le dernier objectif du Club est de trouver de nouveaux projets ou contrats pour le développement de fonctionnalités à long terme.

16
Nous remercions tous nos membres pour leur soutien et souhaitons la bienvenue à Mitsubishi Electric R&D Centre Europe qui rejoint AdaCore et le CEA List en tant que membre du Club cette année. Nous souhaitons également mettre en lumière l’équipe de développement [Why3](http://why3.lri.fr/) avec laquelle nous travaillons pour améliorer nos outils.
Steven de Oliveira's avatar
Steven de Oliveira committed
17 18 19 20 21 22 23 24 25

Nos membres sont particulièrement intéressés par les points suivants :

– Une meilleure génération de modèles et de contre-exemples

– L’ajout de la théorie des séquences

– L’amélioration du support de l’arithmétique non linéaire dans Alt-Ergo

26
Ces fonctionnalités sont maintenant nos principales priorités. Pour suivre nos avancement et les nouveautés, n’hésitez pas à lire nos [articles](category/formal_methods) sur ce blog.