Similar Items

Cover Image

Simulation and Verification of 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 consists of an ordersorted rewrite theory...

Full description

Saved in:
Bibliographic Details
Institution:Escuela Colombiana de Ingeniería
Main Authors: Rocha, Camilo, Múñoz, César, Informática
Format: Documento de Conferencia
Language:English
Published: NASA Langley Research Center 2011
Subjects:
Relaciones de conjuntos sincrónicos
Reachability Analysis
Análisis de accesibilidad
Synchronous set relations
Online Access:https://repositorio.escuelaing.edu.co/handle/001/1893
Tags: Add Tag
No Tags, Be the first to tag this record!