research
∙
07/31/2023
Compositional Verification in Rewriting Logic
In previous work, summarized in this paper, we proposed an operation of ...
share
research
∙
08/17/2021
B Maude: A formal executable environment for Abstract Machine Notation Descriptions
We propose B Maude, a prototype executable environment for the Abstract ...
research
∙
10/18/2019
Programming and Symbolic Computation in Maude
Rewriting logic is both a flexible semantic framework within which widel...
research
∙
08/30/2019