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(es):

Betarte Guidi, Gustavo ; Luna, Carlos ; Sierra Abbate, Luis Ricardo

Tipo:

Reporte técnico

Versión:

Publicado

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.

Año:

2007

Idioma:

Español

Temas:

Software Program Verification
Formal Methods
Correctness Proofs
Model Checking
Métodos Formales
Verificación de Sistemas Embebidos
Especificación y Prueba Asistida de Propiedades.

Institución:

Universidad de la República

Repositorio:

COLIBRI

Enlace(s):

http://hdl.handle.net/20.500.12008/3541

Nivel de acceso:

Acceso abierto