Difference between revisions of "Maude Tools"

From The Maude System
Jump to: navigation, search
Line 17: Line 17:
 
* [http://maude.cs.illinois.edu/tools/eq-enrich/ Equality Enrichments for Order-Sorted Maude Theories]
 
* [http://maude.cs.illinois.edu/tools/eq-enrich/ Equality Enrichments for Order-Sorted Maude Theories]
 
* [[Maude Tools:Order-sorted Term Patterns|Order-sorted Term Patterns]]
 
* [[Maude Tools:Order-sorted Term Patterns|Order-sorted Term Patterns]]
 +
* [http://safe-tools.dsic.upv.es/anima/ The Anima tool]

Revision as of 06:04, 13 May 2015