Author:
Diagne Fama,Mammar Amel,Frappier Marc
Publisher
Springer International Publishing
Reference15 articles.
1. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Mammar, A., Frappier, M., Diagne, F.: A Proof-Based Approach to Verifying Reachability Properties. In: Chu, W.C., Wong, W.E., Palakal, M.J., Hung, C.C. (eds.) SAC, pp. 1651–1657. ACM (2011)
3. Frappier, M., Diagne, F., Mammar, A.: Proving Reachability in B using Substitution Refinement. Electron. Notes Theor. Comput. Sci. 280, 47–56 (2011)
4. Mammar, A., Frappier, M., Chane-Yack-Fa, R.: Proving the Absence Property Pattern Using the B Method. In: HASE, pp. 167–170 (2012)
5. Diagne, F.: Preuve de Propriétés Dynamiques en B. PhD thesis, Télécom SudParis/Université de Sherbrooke (2013),
http://www-public.it-sudparis.eu/~mammar_a/theseFamaDiagne.pdf