Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3541
Cómo citar
| Título: | Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay) |
| Autor: | Betarte, Gustavo Luna, Carlos Sierra Abbate, Luis Ricardo |
| Tipo: | Reporte técnico |
| Palabras clave: | Software Program Verification, Formal Methods, Correctness Proofs, Model Checking, Métodos Formales, Verificación de Sistemas Embebidos, Especificación y Prueba Asistida de Propiedades. |
| Fecha de publicación: | 2007 |
| Resumen: | Este artículo presenta al Instituto de Computación (InCo) de la Facultad de Ingeniería (FING) de la Universidad de la República (Uruguay) y en particular a su grupo de Métodos Formales. Se describen las actividades principales de los miembros de dicho grupo, tanto de formación de recursos humanos como de investigación, relacionadas con la especificación y verificación formal de sistemas computacionales críticos. |
| Editorial: | UR. FI – INCO. |
| Serie o colección: | Reportes Técnicos 07-14 |
| ISSN: | 0797-6410 |
| Citación: | BETARTE, G., LUNA, C., SIERRA ABBATE, L. "Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)". Reportes Técnicos 07-14. UR. FI – INCO, 2007. |
| Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0714.pdf | 89,09 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
