Translating concurrent RSL into PVS

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Dasso, Aristides, Funes, Ana, Montejano, Germán Antonio, Riesco, Daniel Eduardo, Uzal, Roberto
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2003
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21489
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21489
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
Dasso, Aristides
Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
Translating concurrent RSL into PVS
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
RSL
PVS
Translating concurrent
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.
format Objeto de conferencia
Objeto de conferencia
author Dasso, Aristides
Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
author_facet Dasso, Aristides
Funes, Ana
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Uzal, Roberto
author_sort Dasso, Aristides
title Translating concurrent RSL into PVS
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
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/21489
work_keys_str_mv AT dassoaristides translatingconcurrentrslintopvs
AT funesana translatingconcurrentrslintopvs
AT montejanogermanantonio translatingconcurrentrslintopvs
AT riescodanieleduardo translatingconcurrentrslintopvs
AT uzalroberto translatingconcurrentrslintopvs
bdutipo_str Repositorios
_version_ 1764820464597729281

Ejemplares similares