Translating concurrent RSL into PVS

Autores
Dasso, Aristides; Funes, Ana; Montejano, Germán Antonio; Riesco, Daniel Eduardo; Uzal, Roberto
Año de publicación
2003
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Translating RSL into PVS has been a way of obtaining a proof tool for RSL. However there are several styles or constructs of RSL that are harder to translate than others. One of them is concurrent RSL since PVS has no similar construct. We propose to study the problems involved in translating Concurrent RSL into PVS.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21489
Acceder
id SEDICI_1e159b0525f4cd4a4ad216c9af19f9eb
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21489
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Translating concurrent RSL into PVSDasso, AristidesFunes, AnaMontejano, Germán AntonioRiesco, Daniel EduardoUzal, RobertoCiencias InformáticasSOFTWARE ENGINEERINGRSLPVSTranslating concurrentTranslating RSL into PVS has been a way of obtaining a proof tool for RSL. However there are several styles or constructs of RSL that are harder to translate than others. One of them is concurrent RSL since PVS has no similar construct. We propose to study the problems involved in translating Concurrent RSL into PVS.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2003-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf118-119http://sedici.unlp.edu.ar/handle/10915/21489enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:31Zoai:sedici.unlp.edu.ar:10915/21489Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:31.251SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Translating concurrent RSL into PVS
title Translating concurrent RSL into PVS
spellingShingle Translating concurrent RSL into PVS
Dasso, Aristides
Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
title_short Translating concurrent RSL into PVS
title_full Translating concurrent RSL into PVS
title_fullStr Translating concurrent RSL into PVS
title_full_unstemmed Translating concurrent RSL into PVS
title_sort Translating concurrent RSL into PVS
dc.creator.none.fl_str_mv Dasso, Aristides
Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
author Dasso, Aristides
author_facet Dasso, Aristides
Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
author_role author
author2 Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
topic Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
dc.description.none.fl_txt_mv Translating RSL into PVS has been a way of obtaining a proof tool for RSL. However there are several styles or constructs of RSL that are harder to translate than others. One of them is concurrent RSL since PVS has no similar construct. We propose to study the problems involved in translating Concurrent RSL into PVS.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
description Translating RSL into PVS has been a way of obtaining a proof tool for RSL. However there are several styles or constructs of RSL that are harder to translate than others. One of them is concurrent RSL since PVS has no similar construct. We propose to study the problems involved in translating Concurrent RSL into PVS.
publishDate 2003
dc.date.none.fl_str_mv 2003-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21489
url http://sedici.unlp.edu.ar/handle/10915/21489
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
118-119
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260112375283712
score 13.13397

Publicaciones similares