Autor:
Ramírez, Carlos

Cargando...
Foto de perfil

E-mails conocidos

carlosalbertoramirez@javerianacali.edu.co

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Ramírez

Nombre de pila

Carlos

Nombre

Nombres alternativos

Afiliaciones conocidas

Pontificia Universidad Javeriana, Colombia

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 Rewriting-Logic Semantics of P
    Durán, Francisco; Pozas García, Nicolás; Ramírez, Carlos; Rocha, Camilo. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    P is a programming language based on state machines, suited for the definition of asynchronous event-driven open systems. The language was designed with verification in mind and it is bundled with back-end analysis engines for, e.g., bounded model checking. With the aim of extending such verification capabilities, a semantics of P in rewriting logic has been developed. Given this formal semantics, developed using the rewriting-logic language Maude, the Maude Formal Environment (MFE) can now be used to carry on different types of analyses on P programs. These capabilities are illustrated by carrying on reachability analysis and model checking of P programs.