Autor:
Comini, Marco

Cargando...
Foto de perfil

E-mails conocidos

marco.comini@uniud.it

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Comini

Nombre de pila

Marco

Nombre

Nombres alternativos

Afiliaciones conocidas

DIMI, Università degli Studi di Udine
University of Udine, Italy

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Artículo
    Towards a bottom-up fixpoint semantics that models the behavior of PROMELA programs
    Comini, Marco; Comisso, Francesco Saverio; Villanueva, Alicia. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create instances of processes. In this paper, we introduce a bottom-up, fixpoint semantics that models the behavior of PROMELA programs. This work is the first step for a more ambitious goal where analysis and verification techniques based on abstract interpretation would be defined on top of such semantics.