A gentle introduction to Maude and its automated reasoning techniques. Short-course taught at Instituto de Computación, Universidad de La República, Uruguay, between Dec. 6 and 8, 2016 and XI Workshop de Verão em Matemática, Departamento de Matemática, Universidade de Brasília.
Examples
- Mutex
- Combinatory logic (by Fabricio Chalub)
- Untyped lambda calculus (by Narciso Martí-Oliet)
- DPLL (by José Meseguer)
- Generalized Substitution Language rewriting logic semantics
- Client-server protocol example of LTLR (by Kyungmin Bae)
- Petri-PDL model checker
Page last modified on November 14, 2017, at 12:52 PM