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

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Betarte, Gustavo (author)
Andre forfattere:	Luna, Carlos (author), Sierra Abbate, Luis Ricardo (author)
Format:	report
Sprog:	spansk
Udgivet:	2007
Fag:	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 adgang:	http://hdl.handle.net/20.500.12008/3541
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!