Using Maude.

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Jose F. Quesada

Published in: FASE (2000)

Keyphrases

equational theories
formal specification
fine grained
machine learning
high level
data model
model checking