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 in...

Full description

Autores:

Rocha, Camilo
Múñoz, César

Tipo de recurso:

Conferencia (Ponencia)

Fecha de publicación:

2011

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1893

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1893

Palabra clave:

Relaciones de conjuntos sincrónicos
Reachability Analysis
Análisis de accesibilidad
Synchronous set relations

Rights

openAccess

License

http://purl.org/coar/access_right/c_abf2