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:

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!

_version_	1868890109622878208
author	Betarte, Gustavo
author2	Luna, Carlos Sierra Abbate, Luis Ricardo
author2_role	author author
author_browse	Betarte, Gustavo Luna, Carlos Sierra Abbate, Luis Ricardo
author_facet	Betarte, Gustavo Luna, Carlos Sierra Abbate, Luis Ricardo
author_role	author
collection	COLIBRI
dc.creator.none.fl_str_mv	Betarte, Gustavo Luna, Carlos Sierra Abbate, Luis Ricardo
dc.date.none.fl_str_mv	2007 2014-12-02T16:07:48Z 2014-12-02T16:07:48Z 20141202
dc.format.none.fl_str_mv	7 p. application/pdf
dc.identifier.none.fl_str_mv	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. 0797-6410 http://hdl.handle.net/20.500.12008/3541
dc.language.none.fl_str_mv	es spa
dc.publisher.none.fl_str_mv	UR. FI – INCO.
dc.relation.none.fl_str_mv	Reportes Técnicos 07-14
dc.rights.none.fl_str_mv	info:eu-repo/semantics/openAccess Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
dc.source.none.fl_str_mv	reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República
dc.subject.none.fl_str_mv	Software Program Verification Formal Methods Correctness Proofs Model Checking Métodos Formales Verificación de Sistemas Embebidos Especificación y Prueba Asistida de Propiedades.
dc.title.none.fl_str_mv	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
dc.type.none.fl_str_mv	Reporte técnico info:eu-repo/semantics/report info:eu-repo/semantics/publishedVersion
description	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.
eu_rights_str_mv	openAccess
format	report
id	anni_7f9dd2632e867b91febb03afbc628d66
identifier_str_mv	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. 0797-6410
instacron_str	Universidad de la República
institution	Universidad de la República
instname_str	Universidad de la República
language	spa
language_invalid_str_mv	es
network_acronym_str	anni
network_name_str	oai-lr-anni
oai_identifier_str	oai:colibri.udelar.edu.uy:20.500.12008/3541
publishDate	2007
publishDateSort	2007
publisher.none.fl_str_mv	UR. FI – INCO.
reponame_str	COLIBRI
repository.mail.fl_str_mv
repository.name.fl_str_mv
repository_id_str
rights_invalid_str_mv	Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
spelling	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)Betarte, GustavoLuna, CarlosSierra Abbate, Luis RicardoSoftware Program VerificationFormal MethodsCorrectness ProofsModel CheckingMétodos FormalesVerificación de Sistemas EmbebidosEspecificación y Prueba Asistida de Propiedades.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.UR. FI – INCO.2014-12-02T16:07:48Z2014-12-02T16:07:48Z200720141202Reporte técnicoinfo:eu-repo/semantics/reportinfo:eu-repo/semantics/publishedVersion7 p.application/pdfBETARTE, 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.0797-6410http://hdl.handle.net/20.500.12008/3541reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaesspaReportes Técnicos 07-14Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/35412026-04-14T10:16:15Z
spellingShingle	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay) Betarte, Gustavo Software Program Verification Formal Methods Correctness Proofs Model Checking Métodos Formales Verificación de Sistemas Embebidos Especificación y Prueba Asistida de Propiedades.
status_str	publishedVersion
title	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
title_full	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
title_fullStr	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
title_full_unstemmed	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
title_short	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
title_sort	Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
topic	Software Program Verification Formal Methods Correctness Proofs Model Checking Métodos Formales Verificación de Sistemas Embebidos Especificación y Prueba Asistida de Propiedades.
url	http://hdl.handle.net/20.500.12008/3541

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

Similar Items