Učitavanje...
State of the Art in the Research of Formal Verification
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 accur...
Spremljeno u:
| Izdano u: | Ingeniería. Investigación y Tecnología |
|---|---|
| Glavni autori: | , |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Universidad Nacional Autónoma de México
2014
|
| Teme: | |
| Online pristup: | https://www.redalyc.org/articulo.oa?id=40431742012 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|