Difference between revisions of "Maude Tools"
From The Maude System
Maudesystem (Talk | contribs) |
Maudesystem (Talk | contribs) |
||
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
- 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
- Order-sorted Term Patterns
- The Anima tool