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)
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Betarte, Gustavo
Luna, Carlos
Sierra Abbate, Luis Ricardo
Luna, Carlos
Sierra Abbate, Luis Ricardo
Tutor:
Tipo de documento:
Reporte técnico
Editor:
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.
Formal Methods
Correctness Proofs
Model Checking
Métodos Formales
Verificación de Sistemas Embebidos
Especificación y Prueba Asistida de Propiedades.
Descriptores:
Año de publicación:
2007
Contenido:
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.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 07-14
Financiadores:
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.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3541
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0714.pdf | — | 89.09 KB | Adobe PDF |