Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)

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 co...

Full description

Bibliographic Details

Main Author:	Betarte, Gustavo (author)
Other Authors:	Luna, Carlos (author), Sierra Abbate, Luis Ricardo (author)
Format:	report
Language:	Spanish
Published:	2007
Subjects:	Software Program Verification Formal Methods Correctness Proofs Model Checking Métodos Formales Verificación de Sistemas Embebidos Especificación y Prueba Asistida de Propiedades.
Online Access:	http://hdl.handle.net/20.500.12008/3541
Tags:	Add Tag No Tags, Be the first to tag this record!