Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos.