Open AccessState of the Art in the Research of Formal Verification
Author(s) -
Edgar Serna M.,
M Russinoff David
Publication year - 2014
Publication title -
ingeniería, investigación y tecnología
Language(s) - English
Resource type - Journals
eISSN - 2594-0732
pISSN - 1405-7743
DOI - 10.1016/s1405-7743(14)70659-6
Subject(s) - formal methods , computer science , formal verification , software engineering , software verification , verification , functional verification , reliability (semiconductor) , verification and validation , process (computing) , field (mathematics) , systems engineering , software , software system , software construction , programming language , engineering , mathematics , quantum mechanics , pure mathematics , power (physics) , operations management , physics
In recent years research in formal verification of hardware and software has reached important progresses in the development of methodologies and tools to meet the increasing complexity of systems. The explicit role of Formal Verification is to find errors and to improve the reliability on the accuracy of system design, which implies a challenge for software engineering of this century. The purpose of this research is to perform a systematic review of the literature to establish the state of the art of research in formal verification during the last 10 years and to identify the approaches, methods, techniques and methodologies used, as well as the intensity of those research activities. During the process it was found that research in this field has doubled since 2005, and that the mean value of researches conducted year after year remains the same and that prevail the application in control and interaction systems. Additionally it was found that, the case study is the most used method and that empirical research is the most applied type