Software Reliability workshop, held on June 14 & 15 2012 in Paris and organized by the “Initiative de Recherche et Innovation sur le Logiciel Libre” and the Free Software thematic group, is amied at validation, certification, proof and code analysis. At this occasion, Atelier B 4 and its applications are presented.
