Cover Image

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

Saved in:
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!
Summary: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.

Similar Items