Difference between revisions of "Maude Tools"

From The Maude System
Jump to: navigation, search
Line 16: Line 16:
 
* [http://maude.cs.uiuc.edu/tools/lmc/ The Maude LTL Logical Model Checker]
 
* [http://maude.cs.uiuc.edu/tools/lmc/ The Maude LTL Logical Model Checker]
 
* [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 Complements|Order-sorted Term Patterns]]
+
* [[Maude Tools:Order-sorted Term Patterns|Order-sorted Term Patterns]]

Revision as of 20:45, 30 April 2015