Synchronous set relations in rewriting logic
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure, which is written in the Maude system, enabl...
- Autores:
-
Muñoz, César
Rocha Niño, Hernán Camilo
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2014
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/1864
- Acceso en línea:
- https://repositorio.escuelaing.edu.co/handle/001/1864
- Palabra clave:
- Relaciones de conjuntos sincrónicos
semántica síncrona
Reescritura de lógica
Simulación formal y verificación
Maude
Synchronous set relations
Synchronous semantics
Rewriting logic
Formal simulation and verification
PLEXIL
- Rights
- openAccess
- License
- © 2013 Elsevier B.V. Published by Elsevier B.V. All rights reserved.