This paper aims to present and illustrate how using formal verification approaches and techniques could allow managing and controlling efficiently a given system exposed to crisis. Indeed, a few methods to participate to crisis resolution and use formal verification are developed. The here presented research proposes an approach based on verification techniques namely (1) the development of modeling means to increase the formal level including the actors' knowledge and; (2) the development of specific reasoning mechanisms adapted to the expected actors' objectives such as risk detection, performance improvement, etc. The foundations of an anticipative effect-driven approach using formal verification are introduced. Our approach aims to model, characterize and detect the different effects that are caused by the partners, the environment and the activities involved throughout a collaborative process, using properties proof mechanisms.
