# Difference between revisions of "Maude Tools"

From The Maude System

(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

- Inductive Theorem Prover (ITP)
- Maude Termination Tool
- Coherence Checker
- Real-Time Maude
- Maude Strategy Language
- Maude-NPA
- PVeStA
- Inductive Theorem Prover (old version) with Web-ITP
- Church Rosser Checker
- Sufficient Completeness Checker
- Predicate abstraction in Maude (see paper and tool from 2005)
- Declarative Debugger
- The Maude Resolution Theorem Prover (RTP)
- The Maude LTLR Model Checker
- The Maude LTL Logical Model Checker
- Equality Enrichments for Order-Sorted Maude Theories