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...
Saved in:
| Published in: | Formal Modeling: Actors, Open Systems, Biological Systems |
|---|---|
| Institution: | Escuela Colombiana de Ingeniería |
| Main Authors: | , , , |
| Format: | Capítulo - Parte de Libro |
| Language: | English |
| Published: |
Springer
2011
|
| Subjects: | |
| Online Access: | https://repositorio.escuelaing.edu.co/handle/001/1890 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
