La investigación en verificación formal - un estado del arte
Para hacer frente a la creciente complejidad de los sistemas actuales, la investigación en Verificación Formal de hardware y software ha logrado últimamente importantes progresos en el desarrollo de metodologías y herramientas. La función explícita de esta Verificación es encontrar errores y mejorar...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad de Ciencias Informáticas
2013-09-01
|
| Series: | Revista Cubana de Ciencias Informáticas |
| Subjects: | |
| Online Access: | http://10.34.33.5/Rcci/index.php/rcci/article/view/502 |