Maude for Windows

Emnet benytter språket/systemet Maude.  Maude kan lastes opp enkelt for Linux  og MacOS fra http://maude.cs.illinois.edu. Maude for Windows har ikke vært problematisk tidligere, men instruksjoner er fjernet fra Maude's hjemmeside. Siden Maude for Windows fra Univ. Politecnica Valencia beskriver hvordan man kan kjøre Maude 2.7.1 (en helt fin versjon for emnet) på Windows-maskiner. Merk at vi ikke skal bruke CVC-4 eller noen annen SMT solver i kurset, så man trenger ikke å laste opp CVC-4 (eller Yices). Carolyn Talcott skriver at "I believe Windows 10 can run Maude linux binaries. There is some kind of unix compatibility mode."

Husk også at Ifi's linux-maskiner alle har installert Maude 3.1: bare å gi kommandoen maude.