Resumen

SERNA M., Edgar  y  MORALES V, David. Research on formal verification: a state of the art. Rev cuba cienc informat [online]. 2013, vol.7, n.3, pp. 114-126. ISSN 2227-1899.

To cope with the increasing complexity of current systems, research in formal verification of hardware and software has made significant progress recently in the development of methodologies and tools. The explicit role of this verification is to find errors and improve the confidence in the system design, which is a challenge for software engineering in this century. The objective of this research is to perform a systematically review of literature to determine the state of the art of formal verification research and identify the approaches, methods, techniques and methodologies applied, as well as the intensity of it. In the process was found that research in this area has doubled since 2005, so far maintained an average number of researches every year and dominates the application in control systems and interaction. Furthermore, the case study is the most used and that empirical research is the most applied.

Palabras clave : Formal Verification; formal methods; Software Engineering; engineering techniques; research approaches.

        · resumen en Español     · texto en Español     · Español ( pdf )