Resumen de Capítulo XI. La investigación en verificación formal - un estado del arte
Edgar Serna M., David Morales-V
Para hacerle frente a la creciente complejidad de los sistemas en el siglo XXI, la investigación en verificación formal de hardware y software ha logrado 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 del Software actual. 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 ha progresado desde 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 casos es el método más utilizado y que la investigación empírica es la más aplicada.
