State of the Art in the Research of Formal Verification
Fuente:
Redalyc
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Universidad Nacional Autónoma de México
2014
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1876436068264312832 |
|---|---|
| author | Edgar Serna-M. |
| author_facet | Edgar Serna-M. |
| contents | State of the Art in the Research of Formal Verification Edgar Serna-M. David Morales-V. Ingeniería 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 re - mains 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. 2014 artículo científico 1405-7743 https://www.redalyc.org/articulo.oa?id=40431742012 en http://www.redalyc.org/revista.oa?id=404 Ingeniería. Investigación y Tecnología application/pdf Universidad Nacional Autónoma de México Ingeniería. Investigación y Tecnología (México) Num.4 Vol.XV |
| format | Artículo científico |
| id | redalyc_40431742012 |
| institution | Redalyc |
| language | en |
| publishDate | 2014 |
| publisher | Universidad Nacional Autónoma de México |
| spellingShingle | State of the Art in the Research of Formal Verification Edgar Serna-M. Ingeniería State of the Art in the Research of Formal Verification Edgar Serna-M. David Morales-V. Ingeniería 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 re - mains 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. 2014 artículo científico 1405-7743 https://www.redalyc.org/articulo.oa?id=40431742012 en http://www.redalyc.org/revista.oa?id=404 Ingeniería. Investigación y Tecnología application/pdf Universidad Nacional Autónoma de México Ingeniería. Investigación y Tecnología (México) Num.4 Vol.XV |
| title | State of the Art in the Research of Formal Verification |
| topic | Ingeniería |
| url | https://www.redalyc.org/articulo.oa?id=40431742012 |