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
Descripción
Sumario: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.

Ejemplares similares