Autor:
Rocha, Camilo

Cargando...
Foto de perfil
E-mails conocidos
camilo.rocha@javerianacali.edu.co
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Rocha
Nombre de pila
Camilo
Nombre
Nombres alternativos
Afiliaciones conocidas
Pontificia Universidad Javeriana Cali, 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.