Introduction to Maude: Table of Contents

This is the table of contents 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. In addition, if you have a linux (or FreeBSD) machine you may wish to download Maude, which is mirrored locally on the System Specification pages. Maude is also available for a range of other systems from the Maude site.

Introduction to Maude

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)