A proof-based approach to verifying reachability properties. - Amel Mammar; Marc Frappier; Fama Diagne (SAC, 2011)

Proving Reachability in B using Substitution Refinement. - Marc Frappier; Fama Diagne; Amel Mammar (B@FM, 2011)

Preuve de propriétés dynamiques en B. (Proving dynamic properties in B). - Fama Diagne (2013)

A Tool for Verifying Dynamic Properties in B. - Fama Diagne; Amel Mammar; Marc Frappier (SEFM, 2014)