Colloque sur les méthodes formelles à Turku, en Finlande

Formal Methods Europe organise du 26 au 30 mai 2008, un colloque international consacré aux méthodes formelles. Cet événement fera le point sur les dernières évolutions techniques de ces méthodes, et présentera de nouveaux outils formels.

CLEARSY y présentera l’outil BART.

Pour en savoir plus sur ce colloque, rendez-vous sur le site : www.fm2008.abo.fi