Pour obtenir des garanties fortes sur des programmes informatiques, dans le cas où ces programmes sont exécutés dans un contexte où aucune erreur n’est permise, plusieurs techniques peuvent être employées. En plus des méthodes industrielles visant à certifier l’ensemble du développement par rapport à certaines normes, les méthodes formelles proposent une approche basée sur des raisonnements mathématiques permettant de garantir formellement qu’un programme respecte certaines propriétés.

Interstices est une revue de culture scientifique en ligne, créée par des scientifiques pour vous inviter à explorer les sciences du numérique.

Interstices est publiée par Inria, institut national de recherche en sciences et technologies du numérique, elle a été lancée en 2004 à son initiative. Le suivi scientifique de la revue est assuré par le comité éditorial, qui rassemble des personnes d’Inria, du CNRS, de plusieurs universités ainsi que des associations professionnelles du domaine, notamment la SIF et la SMAI.