Difference between revisions of "Maude Tools"

From The Maude System
Jump to: navigation, search
(Created the tool page)
 
(Added a narrowing-based model checker)
Line 14: Line 14:
 
* [http://maude.cs.uiuc.edu/tools/rtp/ The Maude Resolution Theorem Prover (RTP)]
 
* [http://maude.cs.uiuc.edu/tools/rtp/ The Maude Resolution Theorem Prover (RTP)]
 
* [http://maude.cs.uiuc.edu/tools/tlr/ The Maude LTLR Model Checker]
 
* [http://maude.cs.uiuc.edu/tools/tlr/ The Maude LTLR 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]

Revision as of 00:31, 8 August 2014