AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B

The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support software development) will take place in ENSEEIHT from the 11th to the 14th of June 2019. It will be in the same time as the annual rally of GDR GPL (Génie de la Programmation et du logiciel in French or Software engineering and programming)

CLEARSY will be glad to welcome you at its booth during this national gathering in Toulouse from the 11th to the 14th of June 2019.

GDR GPL  is a unit of the department INS2I of the CNRS. It gathers the whole community of french scientists interested in Software engineering and programming.

CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B. The presentation will take place at 12pm on Friday the 14th of June 2019.

Come to meet us!