A carregar...
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...
Na minha lista:
| Publicado no: | Ingeniería. Investigación y Tecnología |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad Nacional Autónoma de México
2014
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=40431742012 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|