Difference between revisions of "Maude Tools"

From The Maude System
Jump to: navigation, search
Line 1: Line 1:
 
Formal tools for Maude specifications
 
Formal tools for Maude specifications
* [https://code.google.com/p/maude-formal-environment/ The Maude Formal Environment] - Environment that integrates the Church-Rosser checker, the coherence checker, the termination tool
+
* [https://code.google.com/p/maude-formal-environment/ The Maude Formal Environment] - Environment that integrates the Church-Rosser checker, the coherence checker, and the termination tool
 
* [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.uiuc.edu/tools/lmc/ The Maude LTL Logical Model Checker]

Revision as of 10:56, 13 May 2015

Formal tools for Maude specifications

Extensions of Maude

Tools to assist in the development of Maude specifications

Tools for other formalisms and logics developed on Maude

Semantics and verification of programming languages

Model-driven engineering (UML, OCL, MOF, model transformation, ...)

  • MR-SynchAADL - Multirate Synchronous AADL and the MR-SynchAADL tool
  • MOMENT - A framework for model management
  • e-Motions - Visual definition of domain-specific modeling languages
  • mOdCL - UML/OCL specification, with static and dynamic evaluation of OCL expressions

Other tools: