1、首先，在浏览器中搜索The Maude System，找到Maude官网。
2、在网页下方找到obtaining and using Maude，点击下载Maude 2.
3、在maude下载页面，首先下载Core Maude。在如图位置复制下载地址。
4、在linux中下载该文件，使用unzip解压，得到maude可执行文件和一些用maude写的程序。
5、使用chmod命令给可执行文件都增加执行权限，即可运行。
6、安装第二步是下载Full Maude。Full Maude是用Maude写的。
7、下载并解压Full Maude，然后使用如图命令即可运行full-maude.maude。
