Search results
Create the page "Maude 1" on this wiki! See also the search results found.
- <!--[[File:Maude-logo.png|right|400px]]--> == General Maude Information ==1 KB (199 words) - 13:32, 20 March 2024
- 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-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
- ...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 following6 KB (742 words) - 14:08, 20 March 2024