Maude-help mailing list

[Michael Hart <michael.george.hart AT gmail.com>]

This is probably one of the best tutorials with significant examples about MAUDE

http://www.cs.swan.ac.uk/~csneal/SystemSpec/

The focus is on fmod but once you get the idea in working with MAUDE mod should follow easy

Keep in mind that MAUDE works in many ways how humans formally solve problems

On Fri, Mar 15, 2013 at 12:54 PM, Daniel Selsam <daniel.selsam AT gmail.com> wrote:

Hi,

I am having a lot of trouble getting Maude programs to work, and it is no wonder, since although I read most of the manual, I still do not know some of the most basic aspects of how Maude works.

Is there a precise specification of what order Maude does things in, e.g. on a call to rewrite? Do we have any guarantees about what order the equations are tried in, or the rules, or how it picks different matches to try, and how it backtracks if a match fails a condition, and so forth?

Also, is there any publicly available code written in Maude that I can play around with, besides the ones that go along with the manual and the book?

Thanks.



_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help