Search results

Create the page "Maude 1" on this wiki! See also the search results found.

• The Maude System
  <!--[[File:Maude-logo.png|right|400px]]--> == General Maude Information ==
  1 KB (199 words) - 13:32, 20 March 2024
• Maude Tools:Order-sorted Term Patterns
  This page introduces the [[The Maude System|Maude]] Order-sorted Pattern Tool. The tool has two primary functions: ...<tt>s'</tt> where <tt>s < s'</tt>, add rules <tt>s -> si</tt> for each <tt>1 <= i <= n</tt>
  6 KB (952 words) - 18:49, 22 October 2015
• Maude Tools: Maude-NPA
  ==Maude-NPA== This webpage describes version 3.1.4 of the Maude-NRL Protocol Analyzer (Maude-NPA) and gives instructions for its use.
  10 KB (1,339 words) - 12:58, 4 June 2020
• Some Papers on Maude and on Rewriting Logic
  ...ear in Proc. LOPSTER 2020: [[Media:maude-tapas.pdf|Symbolic Computation in Maude: Some Tapas]]. In-depth presentations of Maude, and on how to use its most common features, are available in the following
  6 KB (742 words) - 14:08, 20 March 2024