Načítá se...
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...
Uloženo v:
| Vydáno v: | Ingeniería. Investigación y Tecnología |
|---|---|
| Hlavní autoři: | , |
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Universidad Nacional Autónoma de México
2014
|
| Témata: | |
| On-line přístup: | https://www.redalyc.org/articulo.oa?id=40431742012 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|