Towards a Maude Formal Environment

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Ma...

Full description

Autores:

Durán, Francisco
Rocha, Camilo
Álvarez, José María

Tipo de recurso:

Part of book

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/1890

Acceso en línea:

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

Palabra clave:

MAUDE
Obligación de prueba
Objeto controlador
Objeto de herramienta
MFE
Critical Pair
Proof Obligation
Tool Object
Active Tool
Controller Object

Rights

closedAccess

License

© Springer-Verlag Berlin Heidelberg 2011