La investigación en verificación formal: un estado del arte

• Edgar Serna M. ^[1] ; David Morales V ^[2]
  1. [1] Corporación Universitaria Remington

     Corporación Universitaria Remington

     Colombia

     
  2. [2] Diversien S.A.S
• Localización: Revista Cubana de Ciencias Informáticas, ISSN-e 2227-1899, Vol. 7, Nº. 3, 2013
• Idioma: español
• Títulos paralelos:
  • Research on formal verification: a state of the art
• Enlaces
  • Texto completo
• Resumen
  • español

    Para hacer frente a la creciente complejidad de los sistemas actuales, la investigación en Verificación Formal de hardware y software ha logrado últimamente importantes progresos en el desarrollo de metodologías y herramientas. La función explícita de esta Verificación es encontrar errores y mejorar la confianza en el diseño de los sistemas, lo que supone un reto para la Ingeniería de Software de este siglo. El objetivo de esta investigación es realizar una revisión sistemática a la literatura para determinar el estado del arte de la investigación en Verificación Formal e identificar los enfoques, métodos, técnicas y metodologías empleadas, lo mismo que la intensidad de la misma. En el proceso se encontró que la investigación en esta área se duplicó a partir del año 2005, que hasta el momento mantiene un número promedio de investigaciones año tras año y que predomina la aplicación en sistemas de control e interacción. Además, que el estudio de caso es el método más utilizado y que la investigación empírica es la más aplicada.

  • English

    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.