Introduction to Maude: ToC This is the ToC of the Algebraic Specification of Hardware and Software module. The first part contains the Introduction to Maude course; the second (when written) will contain the Microprocessor Verification course. The first (non-technical) section is here (PDF). It outlines the contents of the course. 1. Term Rewriting (PDF) 2. Basic Maude (PDF) 3. Sort Hierarchies and Membership Axioms (PDF) 4. A Microprocessor Example (PDF)