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.
Notas
Eje: Ingeniería de Software
Información general
Fecha de exposición:mayo 2003
Fecha de publicación:2003
Idioma del documento:Inglés
Evento:V Workshop de Investigadores en Ciencias de la Computación
Institución de origen:Red de Universidades con Carreras en Informática (RedUNCI)
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)