Computer programs are ubiquitous. As we rely on computers more and more in all aspects
of daily life, it becomes more important to minimise errors in computer software; it is …

The use of formal methods in general, and of deductive formal methods in particular, for the
development of systems aims at providing mathematical guarantees, for example about their …

Résumé L'utilisation des programmes informatiques dans des applications critiques
nécessite l'utilisation des méthodes formelles basées sur la rigueur mathématique pour …

Le développement de logiciels, d'équipements ou de systemes présente de nombreux défis,
et en pratique des problemes résiduels sont malheureusement tres fréquents dans les …