Proof-based verification approaches for dynamic properties: application to the information system domain. - Mammar, Amel; Frappier, Marc (Formal Aspects of Computing, 2015)