Symbolic Computation in Maude: Some Tapas.

Published in: LOPSTR (2020)

Keyphrases

formal specification
imperative programs
equational theories
automated deduction
building blocks
information systems
domain knowledge
software engineering
model checking
integrity constraints
dynamic logic