Fama Diagne

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Desirable Properties

Top Venues

Telecom & Management SudParis, Évry, Essonne, France (PHD)

Education History

Telecom & Management SudParis, Évry, Essonne, France

PHD

Publications

Fama Diagne, Amel Mammar, Marc Frappier
A Tool for Verifying Dynamic Properties in B. SEFM (2014)
Marc Frappier, Fama Diagne, Amel Mammar
Proving Reachability in B using Substitution Refinement. Electron. Notes Theor. Comput. Sci. 280 (2011)
Amel Mammar, Marc Frappier, Fama Diagne
A proof-based approach to verifying reachability properties. SAC (2011)