The Maude system is an implementation of rewriting logic developed at SRI International.
To σύστημα Maude είναι μια υλοποίηση της λογικής επαναγραφής που αναπτύχθηκε στο SRI International.