“…Using formal specification, system properties are described using a language with a syntax and a semantic defined mathematically [11]. Some formal languages, such as Z, B and VDM, is focus in specified the behaved of sequential systems, where the states are described in mathematical structures, such as sets, relations and functions [25]; while methods like CSP, CCS, Statecharts, Temporal Logic, and Automatons, is focus in the specification of the system behave in terms of sequences, trees or partial orders of events [37]. The use of formal languages like Z and B can improve the trust of the user in the system and its impacts on the use itself [38].…”