Difference between revisions of "Maude Tools"

From The Maude System
Jump to: navigation, search
Line 17: Line 17:
 
==Extensions of Maude==
 
==Extensions of Maude==
 
* [https://olveczky.se/RealTimeMaude/ Real-Time Maude]
 
* [https://olveczky.se/RealTimeMaude/ Real-Time Maude]
* [http://maude.sip.ucm.es/strategies/index.html Maude Strategy Language]
+
* [https://maude.sip.ucm.es/strategies/index.html Maude Strategy Language]
* [http://safe-tools.dsic.upv.es/acuos/ ACUOS]. Order-Sorted Modular ACU (Least General) Generalization System
+
* [https://safe-tools.dsic.upv.es/acuos/ ACUOS]. Order-Sorted Modular ACU (Least General) Generalization System
  
 
==Tools to assist in the development of Maude specifications==
 
==Tools to assist in the development of Maude specifications==

Revision as of 14:43, 29 March 2022

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

Web and 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
  • Web-TLR. A Model Checker for Web applications using LTLR

Other tools