Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/3541
How to cite
| Title: | Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay) |
| Authors: | Betarte, Gustavo Luna, Carlos Sierra Abbate, Luis Ricardo |
| Type: | Reporte técnico |
| Keywords: | Software Program Verification, Formal Methods, Correctness Proofs, Model Checking, Métodos Formales, Verificación de Sistemas Embebidos, Especificación y Prueba Asistida de Propiedades. |
| Issue Date: | 2007 |
| Abstract: | 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. |
| Publisher: | UR. FI – INCO. |
| Series or collection: | Reportes Técnicos 07-14 |
| ISSN: | 0797-6410 |
| Citation: | 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. |
| License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Appears in Collections: | Reportes Técnicos - Instituto de Computación |
Files in This Item:
| File | Description | Size | Format | ||
|---|---|---|---|---|---|
| TR0714.pdf | 89,09 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
