Teaching an Advanced Maude-Based Formal Methods Course in Oslo

I have previously described an introductory Maude-based formal methods course in Oslo. In this paper, I describe a follow-up “advanced” rewriting-logic-based formal methods course. It consists of three assignments, a few theoretical topics, and a number of topics for student presentations that should illustrate the wide range of domains in which formal methods, including rewriting logic, have been successfully applied. I describe the course content, and evaluate the different topics based on my own impressions, exams, and student feedback.